{"id":"https://openalex.org/W3199845923","doi":"https://doi.org/10.1109/icra46639.2022.9811579","title":"Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design","display_name":"Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design","publication_year":2022,"publication_date":"2022-05-23","ids":{"openalex":"https://openalex.org/W3199845923","doi":"https://doi.org/10.1109/icra46639.2022.9811579","mag":"3199845923"},"language":"en","primary_location":{"id":"doi:10.1109/icra46639.2022.9811579","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811579","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/2a8623aa-c444-4d82-b1b4-9cf2af41859d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017806904","display_name":"Craig Innes","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142635","display_name":"PATH To Reading","ror":"https://ror.org/0482xmh13","country_code":"US","type":"other","lineage":["https://openalex.org/I4210142635"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Craig Innes","raw_affiliation_strings":["Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom","Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom","institution_ids":["https://openalex.org/I4210142635"]},{"raw_affiliation_string":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071122608","display_name":"Subramanian Ramamoorthy","orcid":"https://orcid.org/0000-0002-6300-5103"},"institutions":[{"id":"https://openalex.org/I4210142635","display_name":"PATH To Reading","ror":"https://ror.org/0482xmh13","country_code":"US","type":"other","lineage":["https://openalex.org/I4210142635"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Subramanian Ramamoorthy","raw_affiliation_strings":["Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom","Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh,United Kingdom","institution_ids":["https://openalex.org/I4210142635"]},{"raw_affiliation_string":"Institute of Perception, Action and Behaviour (IPAB), University of Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6814","last_page":"6821"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.8464349508285522},{"id":"https://openalex.org/keywords/robustness-testing","display_name":"Robustness testing","score":0.7764713764190674},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7343802452087402},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.543411135673523},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3902234733104706},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3053498864173889},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12409773468971252},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12333023548126221}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8464349508285522},{"id":"https://openalex.org/C137726913","wikidata":"https://www.wikidata.org/wiki/Q7353550","display_name":"Robustness testing","level":3,"score":0.7764713764190674},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7343802452087402},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.543411135673523},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3902234733104706},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3053498864173889},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12409773468971252},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12333023548126221},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icra46639.2022.9811579","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811579","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/2a8623aa-c444-4d82-b1b4-9cf2af41859d","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/2a8623aa-c444-4d82-b1b4-9cf2af41859d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Innes, C & Ramamoorthy, S 2022, Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design. in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2022. Institute of Electrical and Electronics Engineers, pp. 6814-6821, 2022 IEEE International Conference on Robotics and Automation, Philadelphia , Pennsylvania, United States, 23/05/22. https://doi.org/10.1109/ICRA46639.2022.9811579","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/2a8623aa-c444-4d82-b1b4-9cf2af41859d","is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/document/9811579","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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.ed.ac.uk:openaire/2a8623aa-c444-4d82-b1b4-9cf2af41859d","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/2a8623aa-c444-4d82-b1b4-9cf2af41859d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Innes, C & Ramamoorthy, S 2022, Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design. in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2022. Institute of Electrical and Electronics Engineers, pp. 6814-6821, 2022 IEEE International Conference on Robotics and Automation, Philadelphia , Pennsylvania, United States, 23/05/22. https://doi.org/10.1109/ICRA46639.2022.9811579","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1746819321","https://openalex.org/W1996832037","https://openalex.org/W2039287452","https://openalex.org/W2039716701","https://openalex.org/W2085002359","https://openalex.org/W2092984401","https://openalex.org/W2110762409","https://openalex.org/W2113159894","https://openalex.org/W2131399618","https://openalex.org/W2157070686","https://openalex.org/W2509505087","https://openalex.org/W2590655739","https://openalex.org/W2604347212","https://openalex.org/W2617008217","https://openalex.org/W2621540998","https://openalex.org/W2623242234","https://openalex.org/W2733961795","https://openalex.org/W2771066539","https://openalex.org/W2895524695","https://openalex.org/W2952115723","https://openalex.org/W2952915411","https://openalex.org/W2962702177","https://openalex.org/W2963092423","https://openalex.org/W2963199590","https://openalex.org/W2963504959","https://openalex.org/W2972486407","https://openalex.org/W2976305354","https://openalex.org/W2977713273","https://openalex.org/W2998788451","https://openalex.org/W3007913393","https://openalex.org/W3010924044","https://openalex.org/W3023761398","https://openalex.org/W3027226767","https://openalex.org/W3034655405","https://openalex.org/W3037050395","https://openalex.org/W3045969662","https://openalex.org/W3062658395","https://openalex.org/W3089624132","https://openalex.org/W3118902573","https://openalex.org/W3157648907","https://openalex.org/W3176693343","https://openalex.org/W3197852141","https://openalex.org/W3200505228","https://openalex.org/W4211049957","https://openalex.org/W4244372507","https://openalex.org/W4287645102","https://openalex.org/W4294568351","https://openalex.org/W4300799055","https://openalex.org/W6649373835","https://openalex.org/W6729508183","https://openalex.org/W6730420370","https://openalex.org/W6734301446","https://openalex.org/W6740801417","https://openalex.org/W6755722174","https://openalex.org/W6757683393","https://openalex.org/W6780559895","https://openalex.org/W6783741718","https://openalex.org/W6797154327"],"related_works":["https://openalex.org/W1985538490","https://openalex.org/W2385695368","https://openalex.org/W2048346223","https://openalex.org/W1566806263","https://openalex.org/W1980755708","https://openalex.org/W2560201613","https://openalex.org/W172227863","https://openalex.org/W1576602683","https://openalex.org/W2149415205","https://openalex.org/W2013496695"],"abstract_inverted_index":{"Many":[0],"robot":[1],"control":[2,154],"scenarios":[3],"involve":[4],"assessing":[5],"system":[6,74,135,155],"robustness":[7,37],"against":[8],"a":[9,62,73,76,100,152],"task":[10],"specification.":[11],"If":[12],"either":[13,115],"the":[14,46,80,104,143,149],"controller":[15],"or":[16,119],"environment":[17],"are":[18],"composed":[19],"of":[20,48,103,114,134,151],"\u201cblack-box\u201d":[21],"components":[22],"with":[23,88],"unknown":[24],"dynamics,":[25],"we":[26,60,138],"cannot":[27],"rely":[28],"on":[29],"formal":[30],"verification":[31],"to":[32,54,64,141,147],"assess":[33,148],"our":[34,92],"system.":[35],"Assessing":[36],"via":[38],"exhaustive":[39],"testing":[40],"is":[41,51],"also":[42],"often":[43],"infeasible":[44],"if":[45],"number":[47],"possible":[49],"environments":[50],"large":[52],"compared":[53],"experiment":[55,66,90,96,128],"cost.":[56],"Given":[57],"limited":[58],"budget,":[59],"provide":[61],"method":[63,93],"choose":[65],"inputs":[67],"which":[68],"accurately":[69],"reflect":[70],"how":[71,125,140],"robustly":[72],"satisfies":[75],"given":[77],"specification":[78,105],"across":[79],"domain.":[81],"By":[82],"combining":[83],"signal":[84],"temporal":[85],"logic":[86],"metrics":[87],"adaptive":[89,127],"design,":[91],"chooses":[94,110],"each":[95],"by":[97],"incrementally":[98],"constructing":[99],"surrogate":[101,145],"model":[102,108,146],"robustness.":[106,136],"This":[107],"then":[109],"experiments":[111],"in":[112,131],"areas":[113],"high":[116,120],"prediction":[117],"error":[118],"uncertainty.":[121],"Our":[122],"evaluation":[123],"shows":[124],"this":[126],"design":[129],"results":[130],"sample-efficient":[132],"descriptions":[133],"Further,":[137],"show":[139],"use":[142],"constructed":[144],"behaviour":[150],"data-driven":[153],"under":[156],"domain":[157],"shift.":[158]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}