{"id":"https://openalex.org/W2903775008","doi":"https://doi.org/10.1609/aaai.v33i01.33018066","title":"Probabilistic Model Checking of Robots Deployed in Extreme Environments","display_name":"Probabilistic Model Checking of Robots Deployed in Extreme Environments","publication_year":2019,"publication_date":"2019-07-17","ids":{"openalex":"https://openalex.org/W2903775008","doi":"https://doi.org/10.1609/aaai.v33i01.33018066","mag":"2903775008"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v33i01.33018066","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33018066","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4809/4687","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4809/4687","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Xingyu Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xingyu Zhao","raw_affiliation_strings":["Heriot-Watt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Heriot-Watt University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Valentin Robu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Valentin Robu","raw_affiliation_strings":["Heriot-Watt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Heriot-Watt University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"David Flynn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Flynn","raw_affiliation_strings":["Heriot-Watt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Heriot-Watt University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Fateme Dinmohammadi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fateme Dinmohammadi","raw_affiliation_strings":["Heriot-Watt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Heriot-Watt University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Michael Fisher","orcid":null},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":null,"display_name":"Matt Webster","orcid":null},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matt Webster","raw_affiliation_strings":["University of Liverpool"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.7941,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.98817907,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"33","issue":"01","first_page":"8066","last_page":"8074"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11622","display_name":"Maritime Navigation and Safety","score":0.6625000238418579,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"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/T11622","display_name":"Maritime Navigation and Safety","score":0.6625000238418579,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.05979999899864197,"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/T10142","display_name":"Formal Methods in Verification","score":0.04839999973773956,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6207000017166138},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5455999970436096},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4731999933719635},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.451200008392334},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.451200008392334},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.42250001430511475},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.42089998722076416},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.4097000062465668},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.3840999901294708}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7233999967575073},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6207000017166138},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5455999970436096},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4731999933719635},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.451200008392334},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.451200008392334},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.42250001430511475},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.42089998722076416},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.3840999901294708},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.3619999885559082},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3564000129699707},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.3418000042438507},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3190000057220459},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C201729545","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability theory","level":3,"score":0.2939999997615814},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28279998898506165},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.27970001101493835},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1609/aaai.v33i01.33018066","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33018066","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4809/4687","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/a738f1f3-f908-41c0-855d-fe15fd56bf7d","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/a738f1f3-f908-41c0-855d-fe15fd56bf7d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fisher, M 2019, Probabilistic Model Checking of Robots Deployed in Extreme Environments. in Proceedings of the AAAI Conference on Artificial Intelligence. https://doi.org/10.1609/aaai.v33i01.33018066","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1812.04128","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1812.04128","pdf_url":"https://arxiv.org/pdf/1812.04128","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:ojs.aaai.org:article/4809","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/4809","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/a738f1f3-f908-41c0-855d-fe15fd56bf7d","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/probabilistic-model-checking-of-robots-deployed-in-extreme-environments(a738f1f3-f908-41c0-855d-fe15fd56bf7d).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fisher, M 2019, Probabilistic Model Checking of Robots Deployed in Extreme Environments. in Proceedings of the AAAI Conference on Artificial Intelligence. https://doi.org/10.1609/aaai.v33i01.33018066","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:wrap.warwick.ac.uk:181987","is_oa":false,"landing_page_url":"https://wrap.warwick.ac.uk/181987/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400665","display_name":"Warwick Research Archive Portal (University of Warwick)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39555362","host_organization_name":"University of Warwick","host_organization_lineage":["https://openalex.org/I39555362"],"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 Item"}],"best_oa_location":{"id":"doi:10.1609/aaai.v33i01.33018066","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33018066","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4809/4687","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2838024195","display_name":"UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management","funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4483049737","display_name":null,"funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334245","funder_display_name":"Offshore Robotics for Certification of Assets"},{"id":"https://openalex.org/G8602921712","display_name":null,"funder_award_id":"EP/R026173","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320332549","display_name":"City, University of London","ror":"https://ror.org/04489at23"},{"id":"https://openalex.org/F4320334245","display_name":"Offshore Robotics for Certification of Assets","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2903775008.pdf","grobid_xml":"https://content.openalex.org/works/W2903775008.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1600556058","https://openalex.org/W1866287566","https://openalex.org/W1880436303","https://openalex.org/W1916488832","https://openalex.org/W1974641445","https://openalex.org/W1998284497","https://openalex.org/W2002956917","https://openalex.org/W2011274429","https://openalex.org/W2020455387","https://openalex.org/W2028622255","https://openalex.org/W2031523887","https://openalex.org/W2038710499","https://openalex.org/W2075465263","https://openalex.org/W2111765806","https://openalex.org/W2116769849","https://openalex.org/W2146044140","https://openalex.org/W2147247028","https://openalex.org/W2214567334","https://openalex.org/W2252290497","https://openalex.org/W2291637985","https://openalex.org/W2499003444","https://openalex.org/W2525000757","https://openalex.org/W2594789366","https://openalex.org/W2606679783","https://openalex.org/W2687657776","https://openalex.org/W2744647809","https://openalex.org/W3101648496","https://openalex.org/W3106244189","https://openalex.org/W6648558647","https://openalex.org/W6660734588","https://openalex.org/W6679642785","https://openalex.org/W6683145415","https://openalex.org/W6748262152","https://openalex.org/W6756156877","https://openalex.org/W7001894244"],"related_works":[],"abstract_inverted_index":{"Robots":[0],"are":[1,13,88],"increasingly":[2],"used":[3],"to":[4,55,90],"carry":[5],"out":[6],"critical":[7],"missions":[8],"in":[9,113],"extreme":[10,114],"environments":[11],"that":[12],"hazardous":[14],"for":[15,32,46],"humans.":[16],"This":[17],"requires":[18],"a":[19,44,51,106],"high":[20],"degree":[21],"of":[22,62,86,109],"operational":[23,97],"autonomy":[24],"under":[25],"uncertain":[26],"conditions,":[27],"and":[28,37,59,69,80],"poses":[29],"new":[30],"challenges":[31],"assuring":[33],"the":[34,57,92],"robot\u2019s":[35],"safety":[36,58],"reliability.":[38],"In":[39],"this":[40],"paper,":[41],"we":[42],"develop":[43],"framework":[45],"probabilistic":[47],"model":[48,54,83],"checking":[49],"on":[50,76],"layered":[52],"Markov":[53],"verify":[56],"reliability":[60],"requirements":[61],"such":[63],"robots,":[64],"both":[65],"at":[66],"pre-mission":[67],"stage":[68],"during":[70],"runtime.":[71],"Two":[72],"novel":[73],"estimators":[74],"based":[75],"conservative":[77],"Bayesian":[78],"inference":[79],"imprecise":[81],"probability":[82],"with":[84],"sets":[85],"priors":[87],"introduced":[89],"learn":[91],"unknown":[93],"transition":[94],"parameters":[95],"from":[96,105],"data.":[98],"We":[99],"demonstrate":[100],"our":[101],"approach":[102],"using":[103],"data":[104],"real-world":[107],"deployment":[108],"unmanned":[110],"underwater":[111],"vehicles":[112],"environments.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2018-12-22T00:00:00"}