{"id":"https://openalex.org/W4403676838","doi":"https://doi.org/10.1109/case59546.2024.10711810","title":"Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification","display_name":"Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4403676838","doi":"https://doi.org/10.1109/case59546.2024.10711810"},"language":"en","primary_location":{"id":"doi:10.1109/case59546.2024.10711810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","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/A5114086029","display_name":"Mustafa Adam","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mustafa Adam","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114372581","display_name":"Elias E. Hartmark","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Elias E. Hartmark","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112183344","display_name":"Thomas Juul Andersen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tage Andersen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040538691","display_name":"David A. Anisi","orcid":"https://orcid.org/0000-0003-0870-4259"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David A. Anisi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073408099","display_name":"Ana Cavalcanti","orcid":"https://orcid.org/0000-0002-0831-1976"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ana Cavalcanti","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5114086029"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7721,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71969456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"2511","last_page":"2516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.987500011920929,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9643999934196472,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7231050133705139},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6035197973251343},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5678603053092957},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.52679044008255},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4790812134742737},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.43382102251052856},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2028261125087738},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.167253315448761}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7231050133705139},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6035197973251343},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5678603053092957},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.52679044008255},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4790812134742737},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43382102251052856},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2028261125087738},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.167253315448761}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/case59546.2024.10711810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711810","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/2","display_name":"Zero hunger"}],"awards":[{"id":"https://openalex.org/G1058556230","display_name":null,"funder_award_id":"EP/R025479/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4796088780","display_name":null,"funder_award_id":"EP/M025756/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1525305145","https://openalex.org/W2101623441","https://openalex.org/W2798338156","https://openalex.org/W2912806430","https://openalex.org/W2925199121","https://openalex.org/W2990375002","https://openalex.org/W3035315683","https://openalex.org/W3097581111","https://openalex.org/W3109937781","https://openalex.org/W3181847392","https://openalex.org/W4205623878","https://openalex.org/W4205914096","https://openalex.org/W4297359701","https://openalex.org/W4300531980","https://openalex.org/W4323361764","https://openalex.org/W4386091352","https://openalex.org/W4387123263","https://openalex.org/W4389142832","https://openalex.org/W6775704151"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2037121848","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W4312733571","https://openalex.org/W2149716943","https://openalex.org/W1968510839","https://openalex.org/W4315606162","https://openalex.org/W2006962382","https://openalex.org/W2528097415"],"abstract_inverted_index":{"The":[0],"ongoing":[1],"efforts":[2],"to":[3,98,111],"deploy":[4],"safety-critical":[5],"autonomous":[6],"robots":[7],"that":[8,127,152],"operate":[9],"in":[10,42,156],"semi-structured,":[11],"dynamic,":[12],"and":[13,26,77,121,142,145],"uncertain":[14],"environments,":[15],"reinforce":[16],"the":[17,56,66,71,80,87,100,105,132,140,147,154],"importance":[18],"of":[19,59,65,107],"supplementing":[20],"traditional":[21],"risk-management":[22],"activities,":[23],"input-based":[24],"testing,":[25],"quality":[27],"assurance":[28,53],"procedures,":[29],"with":[30,131],"formal":[31,60],"verification":[32,61,143],"methods.":[33],"With":[34],"this":[35,47],"approach,":[36],"one":[37],"may":[38],"guarantee":[39],"safe":[40],"behavior":[41],"all":[43,63],"relevant":[44],"scenarios.":[45],"In":[46,103],"paper,":[48],"we":[49],"propose":[50],"a":[51,82],"safety":[52,116],"framework":[54],"enabling":[55],"integrated":[57,129],"use":[58,84],"at":[62,70],"stages":[64],"engineering":[67],"life-cycle,":[68],"beginning":[69],"concept":[72],"study,":[73],"design,":[74],"development,":[75],"deployment,":[76],"operation.":[78],"Along":[79],"way,":[81],"real":[83],"case":[85],"from":[86],"agricultural":[88],"industry,":[89],"namely":[90],"robotic":[91],"ultra-violet":[92],"(UVC)":[93],"plant":[94],"treatment,":[95],"is":[96],"used":[97],"demonstrate":[99],"proposed":[101],"methodology.":[102],"particular,":[104],"transfer":[106],"offline":[108],"model-checking":[109],"artifacts":[110],"Runtime":[112],"Verification":[113],"elucidates":[114],"how":[115],"requirements":[117],"can":[118],"be":[119],"conceptualized":[120],"subsequently":[122],"translated":[123],"into":[124],"online":[125],"monitors":[126],"are":[128],"seamlessly":[130],"robot\u2019s":[133],"control":[134],"system.":[135],"Our":[136],"study":[137],"elaborates":[138],"on":[139,146],"modeling":[141],"process,":[144],"accompanying":[148],"monitoring":[149],"tool":[150],"chain":[151],"facilitates":[153],"integration":[155],"ROS2":[157],"applications.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}