{"id":"https://openalex.org/W3184680729","doi":"https://doi.org/10.23919/acc50511.2021.9482873","title":"Formal Multi-Objective Synthesis of Continuous-State MDPs","display_name":"Formal Multi-Objective Synthesis of Continuous-State MDPs","publication_year":2021,"publication_date":"2021-05-25","ids":{"openalex":"https://openalex.org/W3184680729","doi":"https://doi.org/10.23919/acc50511.2021.9482873","mag":"3184680729"},"language":"en","primary_location":{"id":"doi:10.23919/acc50511.2021.9482873","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5025184822","display_name":"Sofie Haesaert","orcid":"https://orcid.org/0000-0003-4749-4688"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sofie Haesaert","raw_affiliation_strings":["Department of Electrical Engineering, TU Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, TU Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084385053","display_name":"Petter Nilsson","orcid":"https://orcid.org/0000-0001-8748-6936"},"institutions":[{"id":"https://openalex.org/I4210145444","display_name":"Yamaha (United States)","ror":"https://ror.org/050mv4p70","country_code":"US","type":"company","lineage":["https://openalex.org/I1295929820","https://openalex.org/I4210145444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Petter Nilsson","raw_affiliation_strings":["Yamaha Motor Corporation, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yamaha Motor Corporation, USA","institution_ids":["https://openalex.org/I4210145444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle upon Tyne, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3428","last_page":"3433"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9919000267982483,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9819999933242798,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8040018081665039},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7177013754844666},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5684024691581726},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4979534149169922},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.45554202795028687},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.45267367362976074},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.44450050592422485},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41362449526786804},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37366220355033875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2674053907394409},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23236781358718872},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.1735348105430603},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16898897290229797},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14444535970687866}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8040018081665039},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7177013754844666},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5684024691581726},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4979534149169922},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.45554202795028687},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.45267367362976074},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.44450050592422485},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41362449526786804},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37366220355033875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2674053907394409},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23236781358718872},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.1735348105430603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16898897290229797},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14444535970687866}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc50511.2021.9482873","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc50511.2021.9482873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1529558080","https://openalex.org/W1975219867","https://openalex.org/W2018087463","https://openalex.org/W2045814149","https://openalex.org/W2119567691","https://openalex.org/W2160781031","https://openalex.org/W2171282796","https://openalex.org/W2217305240","https://openalex.org/W2334782222","https://openalex.org/W2558765880","https://openalex.org/W2594675090","https://openalex.org/W2615768957","https://openalex.org/W2624912704","https://openalex.org/W2745094767","https://openalex.org/W2776485332","https://openalex.org/W2796084235","https://openalex.org/W2906997088","https://openalex.org/W2913279531","https://openalex.org/W2963348740","https://openalex.org/W2963355499","https://openalex.org/W2963868084","https://openalex.org/W2982084088","https://openalex.org/W3012226659","https://openalex.org/W3044908040","https://openalex.org/W3047472342","https://openalex.org/W3103644807","https://openalex.org/W6631601832","https://openalex.org/W6679252997"],"related_works":["https://openalex.org/W1497573972","https://openalex.org/W2289277223","https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W1499367685","https://openalex.org/W2225666389","https://openalex.org/W2289944023","https://openalex.org/W2371210594","https://openalex.org/W3023702216","https://openalex.org/W2138707849"],"abstract_inverted_index":{"This":[0,54],"paper":[1],"studies":[2],"formal":[3],"synthesis":[4,31],"of":[5,18,39],"control":[6],"policies":[7],"for":[8,29,50],"continuous-state":[9],"MDPs.":[10],"In":[11],"the":[12,40,51,63],"quest":[13],"to":[14,47,67],"satisfy":[15],"complex":[16,70],"combinations":[17],"probabilistic":[19,71],"temporal":[20],"logic":[21],"specifications,":[22],"we":[23],"derive":[24],"a":[25,36,48],"robust":[26],"linear":[27,55],"program":[28],"policy":[30,49],"that":[32],"is":[33,43],"solved":[34],"on":[35],"finite-state":[37],"approximation":[38],"system":[41],"and":[42,61],"then":[44],"refined":[45],"back":[46],"original":[52],"system.":[53],"programming":[56],"approach":[57],"leverages":[58],"occupation":[59],"measures":[60],"enables":[62],"multi-objective":[64],"optimizations":[65],"needed":[66],"handle":[68],"more":[69],"specifications.":[72]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}