{"id":"https://openalex.org/W4382318213","doi":"https://doi.org/10.1609/aaai.v37i12.26718","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","display_name":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4382318213","doi":"https://doi.org/10.1609/aaai.v37i12.26718"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v37i12.26718","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i12.26718","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26718/26490","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26718/26490","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073020318","display_name":"Thom Badings","orcid":"https://orcid.org/0000-0002-5235-1967"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Thom Badings","raw_affiliation_strings":["Radboud University Nijmegen"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011771160","display_name":"Licio Romao","orcid":"https://orcid.org/0000-0002-5716-6162"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Licio Romao","raw_affiliation_strings":["University of Oxford"],"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["University of Oxford"],"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Nils Jansen","raw_affiliation_strings":["Radboud University Nijmegen"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073020318"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":5.3803,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.96116505,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"37","issue":"12","first_page":"14701","last_page":"14710"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.989799976348877,"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.989799976348877,"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/uncertainty-quantification","display_name":"Uncertainty quantification","score":0.7656582593917847},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7192906141281128},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.601250171661377},{"id":"https://openalex.org/keywords/uncertainty-analysis","display_name":"Uncertainty analysis","score":0.4818928837776184},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4763517677783966},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4599451422691345},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.4122253358364105},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.41081538796424866},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26168012619018555},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21535107493400574},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.17537832260131836},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10067352652549744},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.08151522278785706}],"concepts":[{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.7656582593917847},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7192906141281128},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.601250171661377},{"id":"https://openalex.org/C177803969","wikidata":"https://www.wikidata.org/wiki/Q29205","display_name":"Uncertainty analysis","level":2,"score":0.4818928837776184},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4763517677783966},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4599451422691345},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.4122253358364105},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.41081538796424866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26168012619018555},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21535107493400574},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.17537832260131836},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10067352652549744},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.08151522278785706},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1609/aaai.v37i12.26718","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i12.26718","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26718/26490","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:repository.ubn.ru.nl:2066/294797","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/294797","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/294797/294797.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"doi:10.1609/aaai.v37i12.26718","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v37i12.26718","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/26718/26490","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":[{"score":0.7799999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2039356335","display_name":null,"funder_award_id":"1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3914140545","display_name":null,"funder_award_id":"160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4371345817","display_name":null,"funder_award_id":"NWA.1160.18.238","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7274459873","display_name":null,"funder_award_id":"EP/X525777/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4382318213.pdf"},"referenced_works_count":90,"referenced_works":["https://openalex.org/W170770739","https://openalex.org/W568673721","https://openalex.org/W575374134","https://openalex.org/W1498432697","https://openalex.org/W1535136082","https://openalex.org/W1801993675","https://openalex.org/W1845972764","https://openalex.org/W1862398452","https://openalex.org/W1975219867","https://openalex.org/W1975236902","https://openalex.org/W1988217924","https://openalex.org/W2021510361","https://openalex.org/W2066778083","https://openalex.org/W2080813827","https://openalex.org/W2098597080","https://openalex.org/W2117218135","https://openalex.org/W2125417745","https://openalex.org/W2157807654","https://openalex.org/W2186512589","https://openalex.org/W2289331671","https://openalex.org/W2294678926","https://openalex.org/W2481444856","https://openalex.org/W2489340779","https://openalex.org/W2592969750","https://openalex.org/W2618318883","https://openalex.org/W2788755844","https://openalex.org/W2791855386","https://openalex.org/W2889123676","https://openalex.org/W2899246838","https://openalex.org/W2924534955","https://openalex.org/W2936953762","https://openalex.org/W2937258472","https://openalex.org/W2948652605","https://openalex.org/W2951334307","https://openalex.org/W2952920810","https://openalex.org/W2953021786","https://openalex.org/W2962822210","https://openalex.org/W2969264971","https://openalex.org/W3011596496","https://openalex.org/W3013742101","https://openalex.org/W3014195175","https://openalex.org/W3014596384","https://openalex.org/W3082784051","https://openalex.org/W3090117266","https://openalex.org/W3102961490","https://openalex.org/W3106238320","https://openalex.org/W3120090185","https://openalex.org/W3125855560","https://openalex.org/W3134132640","https://openalex.org/W3134757884","https://openalex.org/W3134774296","https://openalex.org/W3142965698","https://openalex.org/W3150266660","https://openalex.org/W3154655773","https://openalex.org/W3195968524","https://openalex.org/W3211208700","https://openalex.org/W3211802541","https://openalex.org/W4221145130","https://openalex.org/W4221145159","https://openalex.org/W4229907990","https://openalex.org/W4231039456","https://openalex.org/W4232853770","https://openalex.org/W4283365234","https://openalex.org/W4283750996","https://openalex.org/W4285132971","https://openalex.org/W4285232466","https://openalex.org/W4285274505","https://openalex.org/W4285288860","https://openalex.org/W4287128900","https://openalex.org/W4287674453","https://openalex.org/W4293477811","https://openalex.org/W4294555834","https://openalex.org/W4300913383","https://openalex.org/W4306177474","https://openalex.org/W4320086340","https://openalex.org/W4382318213","https://openalex.org/W4382318883","https://openalex.org/W6629784141","https://openalex.org/W6639667798","https://openalex.org/W6660734588","https://openalex.org/W6677746576","https://openalex.org/W6687023780","https://openalex.org/W6703161083","https://openalex.org/W6721699983","https://openalex.org/W6751060025","https://openalex.org/W6756232000","https://openalex.org/W6763565325","https://openalex.org/W6784030240","https://openalex.org/W6797499661","https://openalex.org/W7048550893"],"related_works":["https://openalex.org/W93577605","https://openalex.org/W2057769593","https://openalex.org/W4249135812","https://openalex.org/W2116089868","https://openalex.org/W1991803138","https://openalex.org/W2001403770","https://openalex.org/W3127311823","https://openalex.org/W4387046439","https://openalex.org/W2946139404","https://openalex.org/W4366814155"],"abstract_inverted_index":{"Capturing":[0],"uncertainty":[1,155],"in":[2,106,165],"models":[3,49,81],"of":[4,22,111],"complex":[5],"dynamical":[6],"systems":[7],"is":[8,72],"crucial":[9],"to":[10,26,34,42,68,134,157],"designing":[11],"safe":[12],"controllers.":[13],"Stochastic":[14],"noise":[15,84],"causes":[16],"aleatoric":[17,52,97],"uncertainty,":[18,56,100],"whereas":[19],"imprecise":[20],"knowledge":[21],"model":[23,61,141],"parameters":[24,62],"leads":[25,156],"epistemic":[27,55,99,154],"uncertainty.":[28],"Several":[29],"approaches":[30],"use":[31],"formal":[32],"abstractions":[33],"synthesize":[35,120],"policies":[36],"that":[37,60,151,159],"satisfy":[38],"temporal":[39],"specifications":[40],"related":[41],"safety":[43],"and":[44,57,85,91,98],"reachability.":[45],"However,":[46],"the":[47,107,130,139,143],"underlying":[48],"exclusively":[50],"capture":[51,95],"but":[53],"not":[54],"thus":[58],"require":[59],"are":[63,160],"known":[64],"precisely.":[65],"Our":[66,147],"contribution":[67],"overcoming":[69],"this":[70,125],"restriction":[71],"a":[73,102,112,135],"novel":[74],"abstraction-based":[75],"controller":[76,137],"synthesis":[77],"method":[78],"for":[79,138,153],"continuous-state":[80],"with":[82,101,142],"stochastic":[83],"uncertain":[86],"parameters.":[87],"By":[88],"sampling":[89],"techniques":[90],"robust":[92,162],"analysis,":[93],"we":[94],"both":[96],"user-specified":[103],"confidence":[104,132],"level,":[105],"transition":[108],"probability":[109],"intervals":[110],"so-called":[113],"interval":[114],"Markov":[115],"decision":[116],"process":[117],"(iMDP).":[118],"We":[119],"an":[121],"optimal":[122],"policy":[123],"on":[124],"iMDP,":[126],"which":[127],"translates":[128],"(with":[129],"specified":[131],"level)":[133],"feedback":[136],"continuous":[140],"same":[144],"performance":[145],"guarantees.":[146],"experimental":[148],"benchmarks":[149],"confirm":[150],"accounting":[152],"controllers":[158],"more":[161],"against":[163],"variations":[164],"parameter":[166],"values.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":8}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}