{"id":"https://openalex.org/W2590757326","doi":"https://doi.org/10.1109/simpar.2016.7862408","title":"Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines","display_name":"Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2590757326","doi":"https://doi.org/10.1109/simpar.2016.7862408","mag":"2590757326"},"language":"en","primary_location":{"id":"doi:10.1109/simpar.2016.7862408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/simpar.2016.7862408","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061047124","display_name":"Vladimir Estivill\u2010Castro","orcid":"https://orcid.org/0000-0001-7775-0780"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Vladimir Estivill-Castro","raw_affiliation_strings":["Griffith University, Nathan, QLD, AU"],"affiliations":[{"raw_affiliation_string":"Griffith University, Nathan, QLD, AU","institution_ids":["https://openalex.org/I11701301"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037654114","display_name":"Ren\u00e9 Hexel","orcid":"https://orcid.org/0000-0002-9668-849X"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Rene Hexel","raw_affiliation_strings":["School of ICT, Griffith University, Nathan, QLD, Australia"],"affiliations":[{"raw_affiliation_string":"School of ICT, Griffith University, Nathan, QLD, Australia","institution_ids":["https://openalex.org/I11701301"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061047124"],"corresponding_institution_ids":["https://openalex.org/I11701301"],"apc_list":null,"apc_paid":null,"fwci":1.3939,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84591931,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"5","issue":null,"first_page":"281","last_page":"288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9932000041007996,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9901999831199646,"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/computer-science","display_name":"Computer science","score":0.7562774419784546},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6552504897117615},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5905624628067017},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5764471888542175},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5599234700202942},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5153369307518005},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4957917630672455},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.495702862739563},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4869566857814789},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4611091911792755},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4463403522968292},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.4352145493030548},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4245326817035675},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.42310068011283875},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.4206109941005707},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38084012269973755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3711698055267334},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3482387661933899},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.30519112944602966},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2541031539440155},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.12780806422233582},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1095433235168457}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7562774419784546},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6552504897117615},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5905624628067017},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5764471888542175},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5599234700202942},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5153369307518005},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4957917630672455},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.495702862739563},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4869566857814789},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4611091911792755},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4463403522968292},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.4352145493030548},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4245326817035675},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.42310068011283875},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4206109941005707},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38084012269973755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3711698055267334},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3482387661933899},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.30519112944602966},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2541031539440155},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.12780806422233582},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1095433235168457},{"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.1109/simpar.2016.7862408","is_oa":false,"landing_page_url":"https://doi.org/10.1109/simpar.2016.7862408","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","raw_type":"proceedings-article"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/124233","is_oa":false,"landing_page_url":"http://hdl.handle.net/10072/124233","pdf_url":null,"source":{"id":"https://openalex.org/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https://openalex.org/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference output"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W93306303","https://openalex.org/W235942747","https://openalex.org/W392567011","https://openalex.org/W568055057","https://openalex.org/W1481485708","https://openalex.org/W1484387568","https://openalex.org/W1501640954","https://openalex.org/W1504434797","https://openalex.org/W1540883472","https://openalex.org/W1563854815","https://openalex.org/W1586686336","https://openalex.org/W1602736775","https://openalex.org/W1603427078","https://openalex.org/W1825345526","https://openalex.org/W1917363929","https://openalex.org/W1976565174","https://openalex.org/W2015621059","https://openalex.org/W2021508926","https://openalex.org/W2030310417","https://openalex.org/W2059039791","https://openalex.org/W2061819031","https://openalex.org/W2063705570","https://openalex.org/W2097856935","https://openalex.org/W2109485803","https://openalex.org/W2167340365","https://openalex.org/W2169523813","https://openalex.org/W2535626273","https://openalex.org/W2555427439","https://openalex.org/W2901136733","https://openalex.org/W6603731690","https://openalex.org/W6628570885","https://openalex.org/W6756486208"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2392047570","https://openalex.org/W2361881307","https://openalex.org/W2035244079","https://openalex.org/W2528673213","https://openalex.org/W2962898432","https://openalex.org/W4301348901","https://openalex.org/W4205924073","https://openalex.org/W2059150015","https://openalex.org/W2350806125"],"abstract_inverted_index":{"More":[0],"and":[1,53,72,101,104,119],"more,":[2],"pre-runtime":[3],"testing":[4,100],"or":[5],"verification":[6,115],"of":[7,28,62,80,116,131],"software":[8,29],"in":[9,105],"robotic":[10],"systems":[11],"is":[12],"not":[13],"feasible.":[14],"For":[15],"example,":[16],"autonomous":[17],"robots":[18],"using":[19],"learning":[20],"behaviors":[21],"to":[22,50,87],"handle":[23],"new":[24],"environments.":[25],"What":[26],"sort":[27],"architecture":[30,58,113],"would":[31,83],"then":[32],"enable":[33],"runtime-verification?":[34],"We":[35],"propose":[36],"that":[37,96],"logic-labeled":[38],"finite-state":[39],"machines":[40],"(LLFSMs),":[41],"jointly":[42],"with":[43],"regular":[44,67],"expressions":[45,68],"are":[46,69],"a":[47,93,129],"potent":[48],"tool":[49],"describe":[51],"acceptable":[52],"unacceptable":[54],"system":[55],"behaviors.":[56],"Our":[57],"has":[59],"the":[60,77,81],"advantage":[61],"expressive":[63],"power,":[64],"since":[65],"sometimes":[66],"more":[70,85],"succinct":[71],"comprehensible,":[73],"while":[74],"other":[75],"times,":[76],"visual":[78],"display":[79],"LLFSM":[82],"be":[84,137],"accessible":[86],"requirements":[88],"engineers.":[89],"Moreover,":[90,127],"LLFSMs":[91,118,135],"have":[92],"prescribed":[94],"schedule":[95],"enables":[97],"their":[98],"comprehensive":[99],"formal":[102],"verification,":[103],"similar":[106],"ways,":[107],"allows":[108],"monitoring":[109],"at":[110],"run-time.":[111],"The":[112],"facilitates":[114],"monitor":[117],"higher":[120],"safety":[121],"than":[122],"alternatives":[123],"such":[124],"as":[125],"ROSRV.":[126],"for":[128],"subset":[130],"LTL":[132,140],"(co-safe":[133],"LTV),":[134],"can":[136],"synthesised":[138],"from":[139],"constraints.":[141]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}