{"id":"https://openalex.org/W2090161303","doi":"https://doi.org/10.1177/027836499801700402","title":"An Architecture for Autonomy","display_name":"An Architecture for Autonomy","publication_year":1998,"publication_date":"1998-04-01","ids":{"openalex":"https://openalex.org/W2090161303","doi":"https://doi.org/10.1177/027836499801700402","mag":"2090161303"},"language":"en","primary_location":{"id":"doi:10.1177/027836499801700402","is_oa":false,"landing_page_url":"https://doi.org/10.1177/027836499801700402","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00123273","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063091956","display_name":"Rachid Alami","orcid":"https://orcid.org/0000-0002-9558-8163"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"R. Alami","raw_affiliation_strings":["LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210107416","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114376610","display_name":"Raja Chatila","orcid":"https://orcid.org/0000-0001-7822-0634"},"institutions":[{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R. Chatila","raw_affiliation_strings":["LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210107416","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027360776","display_name":"Sara Fleury","orcid":"https://orcid.org/0000-0002-3751-1387"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S. Fleury","raw_affiliation_strings":["LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210107416","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038185516","display_name":"Malik Ghallab","orcid":"https://orcid.org/0000-0002-4326-049X"},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Ghallab","raw_affiliation_strings":["LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210107416","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076585663","display_name":"F\u00e9lix Ingrand","orcid":"https://orcid.org/0000-0003-2822-0905"},"institutions":[{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Ingrand","raw_affiliation_strings":["LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France"],"affiliations":[{"raw_affiliation_string":"LAAS-CNRS 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France","institution_ids":["https://openalex.org/I4210107416","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5063091956"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I4210107416"],"apc_list":null,"apc_paid":null,"fwci":19.403,"has_fulltext":false,"cited_by_count":519,"citation_normalized_percentile":{"value":0.99648661,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"17","issue":"4","first_page":"315","last_page":"337"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6882695555686951},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6081114411354065},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5572752952575684},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.49662190675735474},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4806581735610962},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.44404488801956177},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.4409182369709015},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40082287788391113},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.35720375180244446},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3541566729545593},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16938388347625732},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.16565769910812378}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6882695555686951},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6081114411354065},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5572752952575684},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.49662190675735474},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4806581735610962},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.44404488801956177},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.4409182369709015},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40082287788391113},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.35720375180244446},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3541566729545593},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16938388347625732},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.16565769910812378},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1177/027836499801700402","is_oa":false,"landing_page_url":"https://doi.org/10.1177/027836499801700402","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00123273v2","is_oa":true,"landing_page_url":"https://hal.science/hal-00123273","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"The International Journal of Robotics Research, 1998, 17 (4), pp.315-337. &#x27E8;10.1177/027836499801700402&#x27E9;","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00123273v2","is_oa":true,"landing_page_url":"https://hal.science/hal-00123273","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"The International Journal of Robotics Research, 1998, 17 (4), pp.315-337. &#x27E8;10.1177/027836499801700402&#x27E9;","raw_type":"Journal articles"},"sustainable_development_goals":[{"score":0.47999998927116394,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W52929564","https://openalex.org/W91479047","https://openalex.org/W106643999","https://openalex.org/W108408365","https://openalex.org/W155924137","https://openalex.org/W178579744","https://openalex.org/W194226421","https://openalex.org/W1502773900","https://openalex.org/W1508838623","https://openalex.org/W1563162223","https://openalex.org/W1587981124","https://openalex.org/W1842589395","https://openalex.org/W1986418050","https://openalex.org/W1988313499","https://openalex.org/W2026429908","https://openalex.org/W2027792095","https://openalex.org/W2036190613","https://openalex.org/W2097856935","https://openalex.org/W2101217972","https://openalex.org/W2106207733","https://openalex.org/W2114767108","https://openalex.org/W2115202613","https://openalex.org/W2123129415","https://openalex.org/W2133453031","https://openalex.org/W2141427185","https://openalex.org/W2144619114","https://openalex.org/W2148970883","https://openalex.org/W2155691306","https://openalex.org/W2157123784","https://openalex.org/W2160753027","https://openalex.org/W2170017761","https://openalex.org/W2170746893","https://openalex.org/W2294141595"],"related_works":["https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2941808082","https://openalex.org/W2468425257","https://openalex.org/W4377009725","https://openalex.org/W4379086698","https://openalex.org/W2528721242","https://openalex.org/W4320164562","https://openalex.org/W2122871747","https://openalex.org/W3114279067"],"abstract_inverted_index":{"An":[0],"autonomous":[1],"robot":[2,51,83],"offers":[3],"a":[4,17,50,53,81,119,127,169,223,227],"challenging":[5],"and":[6,28,37,66,71,91,98,126,144,152,155,179,192,216,233,245,252,263,289,299],"ideal":[7],"field":[8],"for":[9,203,230,237,249],"the":[10,25,45,64,138,163,174,197,221,238,242,250,261,267,271,280],"study":[11],"of":[12,68,116,134,220,241,254,260,266,270,279],"intelligent":[13],"architectures.":[14],"Autonomy":[15],"within":[16],"rational":[18],"be":[19,22],"havior":[20],"could":[21],"evaluated":[23],"by":[24],"robot's":[26],"effectiveness":[27],"robust":[29],"ness":[30],"in":[31,35,104],"carrying":[32],"out":[33],"tasks":[34],"different":[36],"ill-known":[38],"environments.":[39],"It":[40],"raises":[41],"major":[42],"requirements":[43,199],"on":[44,186],"control":[46,240],"architecture.":[47],"Further":[48],"more,":[49],"as":[52,63],"programmable":[54],"machine":[55],"brings":[56],"up":[57],"other":[58],"archi":[59],"tectural":[60],"needs,":[61],"such":[62],"ease":[65],"quality":[67],"its":[69,86],"specification":[70,251],"programming.":[72],"This":[73],"article":[74],"describes":[75],"an":[76,123],"integrated":[77,285],"architecture":[78,113,175,183,282],"that":[79,136,172,200,257],"allows":[80],"mobile":[82],"to":[84,94,99,108,162,176,212],"plan":[85],"tasks\u2014taking":[87],"into":[88,286],"account":[89],"temporal":[90,224,262],"domain":[92],"constraints,":[93],"perform":[95],"corresponding":[96],"actions":[97],"con":[100],"trol":[101],"their":[102,165],"execution":[103,124],"real-time\u2014while":[105],"being":[106],"reactive":[107,239,268],"possible":[109],"events.":[110],"The":[111,130,147,181,206],"general":[112],"is":[114,132,150,168],"composed":[115,133],"three":[117],"levels:":[118],"de":[120],"cision":[121],"level,":[122,125,244],"functional":[128,243],"level.":[129,205],"latter":[131],"modules":[135,255],"embed":[137],"functions":[139],"achieving":[140],"sensor-":[141],"data":[142],"processing":[143,193],"effector":[145],"control.":[146],"decision":[148],"level":[149,219,258],"goal":[151],"event":[153],"driven,":[154],"it":[156],"may":[157],"have":[158,208,283],"several":[159,187,287],"layers,":[160],"according":[161],"application;":[164],"basic":[166],"structure":[167],"planner/supervisor":[170],"pair":[171],"enables":[173],"integrate":[177],"deliberation":[178],"reaction.":[180],"proposed":[182,281],"relies":[184],"naturally":[185],"representa":[188],"tions,":[189],"programming":[190],"paradigms,":[191],"approaches,":[194],"which":[195],"meet":[196,213],"precise":[198],"are":[201,276,297],"specified":[202],"each":[204,218],"authors":[207],"developed":[209],"proper":[210],"tools":[211],"these":[214,274],"specifications":[215],"implement":[217],"architecture:":[222],"planner,":[225],"IxTeT;":[226],"procedural":[228],"system":[229],"task":[231],"refinement":[232],"supervision,":[234],"PRS;":[235],"Kheops":[236],"G":[246],"en":[247],"oM":[248],"integration":[253],"at":[256],"Validation":[259],"logical":[264],"properties":[265],"parts":[269],"system,":[272],"through":[273],"tools,":[275],"presented.":[277],"Instances":[278],"been":[284],"indoor":[288],"outdoor":[290],"robots.":[291],"Examples":[292],"from":[293],"real-world":[294],"ex":[295],"perimentations":[296],"provided":[298],"analyzed.":[300]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":16},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":16},{"year":2016,"cited_by_count":18},{"year":2015,"cited_by_count":19},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":23},{"year":2012,"cited_by_count":34}],"updated_date":"2026-03-29T08:15:47.926485","created_date":"2025-10-10T00:00:00"}
