{"id":"https://openalex.org/W2898385488","doi":"https://doi.org/10.1109/tr.2018.2873260","title":"DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles","display_name":"DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles","publication_year":2018,"publication_date":"2018-10-24","ids":{"openalex":"https://openalex.org/W2898385488","doi":"https://doi.org/10.1109/tr.2018.2873260","mag":"2898385488"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2018.2873260","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2018.2873260","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.manchester.ac.uk/en/publications/73962110-1216-4281-893f-b1a54adc9bdb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008262977","display_name":"Lennon Chaves","orcid":"https://orcid.org/0000-0003-4097-2851"},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Lennon Chaves","raw_affiliation_strings":["Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029633547","display_name":"Iury Bessa","orcid":"https://orcid.org/0000-0002-6603-3476"},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Iury V. Bessa","raw_affiliation_strings":["Department of Electricity, Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electricity, Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007063138","display_name":"Hussama Ismail","orcid":null},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Hussama Ismail","raw_affiliation_strings":["Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070307240","display_name":"Adriano Frutuoso","orcid":"https://orcid.org/0000-0002-3907-9815"},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Adriano Bruno dos Santos Frutuoso","raw_affiliation_strings":["Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057689302","display_name":"Lucas C. Cordeiro","orcid":"https://orcid.org/0000-0002-6235-4272"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lucas Cordeiro","raw_affiliation_strings":["School of Computer Science, University of Manchester, Manchester, U.K"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058282696","display_name":"Eddie B. de Lima Filho","orcid":"https://orcid.org/0000-0002-2758-4638"},"institutions":[{"id":"https://openalex.org/I62885914","display_name":"Universidade Federal do Amazonas","ror":"https://ror.org/02263ky35","country_code":"BR","type":"education","lineage":["https://openalex.org/I62885914"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Eddie Batista de Lima Filho","raw_affiliation_strings":["Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil"],"affiliations":[{"raw_affiliation_string":"Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil","institution_ids":["https://openalex.org/I62885914"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5008262977"],"corresponding_institution_ids":["https://openalex.org/I62885914"],"apc_list":null,"apc_paid":null,"fwci":2.2213,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.89739407,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"67","issue":"4","first_page":"1420","last_page":"1441"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7948360443115234},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6563986539840698},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5950984954833984},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4742775857448578},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.43751251697540283},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43682217597961426},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4367658495903015},{"id":"https://openalex.org/keywords/attitude-control","display_name":"Attitude control","score":0.41346466541290283},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4132949113845825},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3848521113395691},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3504871726036072},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3415184020996094},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2660800814628601},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2285073697566986},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1836872696876526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14769244194030762}],"concepts":[{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7948360443115234},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6563986539840698},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5950984954833984},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4742775857448578},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.43751251697540283},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43682217597961426},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4367658495903015},{"id":"https://openalex.org/C155710575","wikidata":"https://www.wikidata.org/wiki/Q83001","display_name":"Attitude control","level":2,"score":0.41346466541290283},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4132949113845825},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3848521113395691},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3504871726036072},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3415184020996094},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2660800814628601},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2285073697566986},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1836872696876526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14769244194030762},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tr.2018.2873260","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2018.2873260","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/73962110-1216-4281-893f-b1a54adc9bdb","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/73962110-1216-4281-893f-b1a54adc9bdb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Chaves, L, Bessa, I, Ismail, H, Frutuoso, A, Cordeiro, L & de Lima Filho, E B 2018, 'DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles', IEEE Transactions on Reliability, vol. 67, no. 4, pp. 1420-1441. https://doi.org/10.1109/TR.2018.2873260","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/73962110-1216-4281-893f-b1a54adc9bdb","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/dsverifieraided-verification-applied-to-attitude-control-software-in-unmanned-aerial-vehicles(73962110-1216-4281-893f-b1a54adc9bdb).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/73962110-1216-4281-893f-b1a54adc9bdb","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/73962110-1216-4281-893f-b1a54adc9bdb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Chaves, L, Bessa, I, Ismail, H, Frutuoso, A, Cordeiro, L & de Lima Filho, E B 2018, 'DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles', IEEE Transactions on Reliability, vol. 67, no. 4, pp. 1420-1441. https://doi.org/10.1109/TR.2018.2873260","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":99,"referenced_works":["https://openalex.org/W145069693","https://openalex.org/W205174567","https://openalex.org/W339370755","https://openalex.org/W1495266209","https://openalex.org/W1497186495","https://openalex.org/W1503170978","https://openalex.org/W1510368738","https://openalex.org/W1518705996","https://openalex.org/W1530339963","https://openalex.org/W1547664796","https://openalex.org/W1570024512","https://openalex.org/W1579437898","https://openalex.org/W1838714828","https://openalex.org/W1862085023","https://openalex.org/W1863517246","https://openalex.org/W1924349676","https://openalex.org/W1989298803","https://openalex.org/W2001289891","https://openalex.org/W2005353075","https://openalex.org/W2007089280","https://openalex.org/W2020209480","https://openalex.org/W2020793077","https://openalex.org/W2025995266","https://openalex.org/W2033455284","https://openalex.org/W2039559802","https://openalex.org/W2041604932","https://openalex.org/W2042283096","https://openalex.org/W2072576239","https://openalex.org/W2089587482","https://openalex.org/W2095002986","https://openalex.org/W2095473904","https://openalex.org/W2096282629","https://openalex.org/W2101149626","https://openalex.org/W2101594723","https://openalex.org/W2102440995","https://openalex.org/W2106624160","https://openalex.org/W2106892818","https://openalex.org/W2107945774","https://openalex.org/W2113569165","https://openalex.org/W2115309705","https://openalex.org/W2117087357","https://openalex.org/W2123465178","https://openalex.org/W2133553149","https://openalex.org/W2139134197","https://openalex.org/W2142424817","https://openalex.org/W2153296213","https://openalex.org/W2153376521","https://openalex.org/W2153439859","https://openalex.org/W2154251684","https://openalex.org/W2158159116","https://openalex.org/W2160416634","https://openalex.org/W2169194845","https://openalex.org/W2170433383","https://openalex.org/W2179309410","https://openalex.org/W2185676247","https://openalex.org/W2227598104","https://openalex.org/W2292112891","https://openalex.org/W2293790689","https://openalex.org/W2317043578","https://openalex.org/W2323620540","https://openalex.org/W2337657244","https://openalex.org/W2345744881","https://openalex.org/W2401179365","https://openalex.org/W2474562651","https://openalex.org/W2481849972","https://openalex.org/W2508178598","https://openalex.org/W2537041723","https://openalex.org/W2594206920","https://openalex.org/W2597472131","https://openalex.org/W2611450296","https://openalex.org/W2751651624","https://openalex.org/W2775431879","https://openalex.org/W2796090869","https://openalex.org/W2949558051","https://openalex.org/W2953079911","https://openalex.org/W2962805785","https://openalex.org/W3104168345","https://openalex.org/W3192343331","https://openalex.org/W4234028034","https://openalex.org/W4237538414","https://openalex.org/W4253141923","https://openalex.org/W4298033465","https://openalex.org/W4300021588","https://openalex.org/W6605943119","https://openalex.org/W6629648295","https://openalex.org/W6630511988","https://openalex.org/W6634022274","https://openalex.org/W6634743126","https://openalex.org/W6651695652","https://openalex.org/W6661112013","https://openalex.org/W6689780666","https://openalex.org/W6703792751","https://openalex.org/W6704824599","https://openalex.org/W6713221375","https://openalex.org/W6720671556","https://openalex.org/W6728564319","https://openalex.org/W6736878174","https://openalex.org/W6746935536","https://openalex.org/W6747490613"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2002978035","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W1963589636"],"abstract_inverted_index":{"During":[0],"the":[1,32,40,59,64,79,174],"last":[2],"decades,":[3],"model":[4,69],"checking":[5,70],"techniques":[6],"have":[7],"been":[8],"applied":[9],"to":[10,31,39,49,78,87,103,109,131],"improve":[11],"overall":[12],"system":[13],"reliability,":[14],"in":[15,85,92,119,141,147],"unmanned":[16],"aerial":[17,148],"vehicle":[18],"(UAV)":[19],"approaches.":[20],"Nonetheless,":[21],"there":[22],"is":[23,123,187,195],"little":[24],"effort":[25],"focused":[26],"on":[27],"applying":[28],"those":[29],"methods":[30],"control-system":[33],"domain,":[34],"especially":[35],"when":[36],"it":[37,186],"comes":[38],"investigation":[41],"of":[42,66,81],"low-level":[43,139],"implementation":[44,83,106],"errors,":[45],"which":[46,129,154,194],"are":[47,150],"related":[48,108],"digital":[50,93],"controllers":[51,94],"and":[52,62,116,162,180],"hardware":[53,184],"compatibility.":[54],"The":[55],"present":[56],"study":[57],"addresses":[58],"mentioned":[60],"problems":[61,89],"proposes":[63],"application":[65],"a":[67,196],"bounded":[68],"tool,":[71],"named":[72],"as":[73],"Digital":[74],"System":[75],"Verifier":[76],"(DSVerifier),":[77],"verification":[80,101],"digital-system":[82],"issues,":[84],"order":[86],"investigate":[88],"that":[90,138,173],"emerge":[91],"designed":[95],"for":[96,105,159,189],"UAV":[97,120,142],"attitude":[98,121,143],"systems.":[99,134],"A":[100],"methodology":[102],"search":[104],"errors":[107],"finite":[110],"word-length":[111],"effects":[112],"(e.g.,":[113],"arithmetic":[114],"overflows":[115],"limit":[117],"cycles),":[118],"controllers,":[122],"presented,":[124],"along":[125],"with":[126],"its":[127,166],"evaluation,":[128],"aims":[130],"ensure":[132],"correct-by-design":[133],"Experimental":[135],"results":[136],"show":[137],"failures":[140],"control":[144],"software":[145],"used":[146,158],"surveillance":[149],"identified":[151],"by":[152],"DSVerifier,":[153],"can":[155],"also":[156],"be":[157],"developing":[160],"sound":[161],"correct":[163],"implementations,":[164,193],"through":[165],"integration":[167],"into":[168,182],"development":[169],"processes.":[170],"Finally,":[171],"given":[172],"proposed":[175],"approach":[176],"handles":[177],"C":[178],"code":[179],"takes":[181],"account":[183],"specifications,":[185],"suitable":[188],"verifying":[190],"final":[191],"controller":[192],"more":[197],"practical":[198],"scenario.":[199]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}