{"id":"https://openalex.org/W2901257779","doi":"https://doi.org/10.1109/iisr.2018.8535911","title":"A stochastically verifiable decision making framework for autonomous ground vehicles","display_name":"A stochastically verifiable decision making framework for autonomous ground vehicles","publication_year":2018,"publication_date":"2018-08-01","ids":{"openalex":"https://openalex.org/W2901257779","doi":"https://doi.org/10.1109/iisr.2018.8535911","mag":"2901257779"},"language":"en","primary_location":{"id":"doi:10.1109/iisr.2018.8535911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisr.2018.8535911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR)","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/A5088542218","display_name":"Mohammed Al-Nuaimi","orcid":"https://orcid.org/0000-0001-7819-4974"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mohammed Al-Nuaimi","raw_affiliation_strings":["Department of Automatic Control and Systems Engineering (ACSE), University of Sheffield"],"affiliations":[{"raw_affiliation_string":"Department of Automatic Control and Systems Engineering (ACSE), University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059964100","display_name":"Hongyang Qu","orcid":"https://orcid.org/0000-0002-1643-8926"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongyang Qu","raw_affiliation_strings":["ACSE, University of Sheffield"],"affiliations":[{"raw_affiliation_string":"ACSE, University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058754653","display_name":"S\u00e1ndor M. Veres","orcid":"https://orcid.org/0000-0003-0325-0710"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sandor M. Veres","raw_affiliation_strings":["ACSE, University of Sheffield"],"affiliations":[{"raw_affiliation_string":"ACSE, University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088542218"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":0.4039,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65438631,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"3","issue":null,"first_page":"26","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9977999925613403,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977999925613403,"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.8139387369155884},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7483590841293335},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6143942475318909},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5805622339248657},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5459715723991394},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.5130330324172974},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.44313040375709534},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38693559169769287},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2746691107749939},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27426424622535706},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.13857704401016235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8139387369155884},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7483590841293335},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6143942475318909},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5805622339248657},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5459715723991394},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.5130330324172974},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.44313040375709534},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38693559169769287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2746691107749939},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27426424622535706},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.13857704401016235},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iisr.2018.8535911","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisr.2018.8535911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W13906328","https://openalex.org/W23772241","https://openalex.org/W29883540","https://openalex.org/W1497120980","https://openalex.org/W1545062007","https://openalex.org/W1862398452","https://openalex.org/W1904065432","https://openalex.org/W1977992720","https://openalex.org/W2006950828","https://openalex.org/W2055207897","https://openalex.org/W2100193157","https://openalex.org/W2106172458","https://openalex.org/W2106851097","https://openalex.org/W2124344619","https://openalex.org/W2129899354","https://openalex.org/W2159969461","https://openalex.org/W2167340365","https://openalex.org/W2188783385","https://openalex.org/W2261108046","https://openalex.org/W2399732523","https://openalex.org/W2409635379","https://openalex.org/W2470353224","https://openalex.org/W2494528288","https://openalex.org/W2498694040","https://openalex.org/W2567548660","https://openalex.org/W2592496287","https://openalex.org/W2753051499","https://openalex.org/W2760981468","https://openalex.org/W2901136733","https://openalex.org/W4235740860","https://openalex.org/W4247939602","https://openalex.org/W6756486208","https://openalex.org/W7045375538"],"related_works":["https://openalex.org/W1497573972","https://openalex.org/W278680301","https://openalex.org/W2138707849","https://openalex.org/W2289277223","https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W1499367685","https://openalex.org/W2168246878","https://openalex.org/W90591307","https://openalex.org/W2225666389"],"abstract_inverted_index":{"A":[0],"framework":[1,66],"is":[2,67,156,173],"presented":[3],"for":[4,33,169],"probabilistic":[5,56],"verification":[6],"of":[7,36,63,72,78,118],"Autonomous":[8],"Vehicles'":[9],"(AV)":[10],"decisions":[11,46,80],"by":[12,49,54,82,116],"rational":[13,84],"agents":[14,51],"onboard.":[15],"The":[16,45,61],"AV's":[17],"are":[18,31,52,90,114,135],"assumed":[19],"to":[20,42,68,92,103,107,137,164,176],"be":[21,108],"equipped":[22],"with":[23,159],"the":[24,37,50,55,64,79,83,94,105,119,126,132,141,150,180,186],"necessary":[25],"perception":[26,181],"and":[27,39,97,112,131,139,144,167,182],"control":[28,183],"systems,":[29],"which":[30],"needed":[32],"their":[34,145],"awareness":[35],"environment":[38],"enable":[40],"them":[41],"make":[43],"decisions.":[44],"arrived":[47],"at":[48],"verified":[53],"model":[57,93,121,138],"checking":[58],"techniques":[59],"presented.":[60],"objective":[62],"new":[65],"reduce":[69],"design":[70],"complexity":[71],"decision":[73,170],"making":[74],"while":[75],"ensuring":[76],"verifiability":[77],"made":[81],"agents.":[85],"Probabilistic":[86,98],"Timed":[87],"Programs":[88],"(PTPs)":[89],"used":[91,136,157],"environmental":[95],"scenarios":[96],"Computational":[99],"Tree":[100],"Logic":[101],"(PCTL)":[102],"specify":[104],"properties":[106],"verified.":[109],"Both":[110],"PTP":[111],"PCTL":[113],"deployed":[115],"use":[117],"PRISM":[120],"checker.":[122],"For":[123],"demonstration":[124],"purposes,":[125],"Robot":[127],"Operating":[128],"System":[129],"(ROS)":[130],"Gazebo":[133],"simulator":[134],"test":[140],"vehicle":[142],"systems":[143,184],"signal":[146],"processing.":[147],"sEnglish":[148],"Publisher,":[149],"high":[151],"abstraction":[152],"level":[153],"programming":[154,179],"tool,":[155],"along":[158],"a":[160],"Jason":[161],"agent":[162],"architecture":[163],"provide":[165],"rules":[166],"plans":[168],"making.":[171],"Matlab":[172],"relied":[174],"on":[175],"assist":[177],"in":[178,185],"demonstration.":[187]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}