{"id":"https://openalex.org/W2913279531","doi":"https://doi.org/10.1145/3309683","title":"Interval Markov Decision Processes with Multiple Objectives","display_name":"Interval Markov Decision Processes with Multiple Objectives","publication_year":2019,"publication_date":"2019-10-31","ids":{"openalex":"https://openalex.org/W2913279531","doi":"https://doi.org/10.1145/3309683","mag":"2913279531"},"language":"en","primary_location":{"id":"doi:10.1145/3309683","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3309683","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3309683","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3309683","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030417706","display_name":"Ernst Moritz Hahn","orcid":"https://orcid.org/0000-0002-9348-7684"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]}],"countries":["CN","GB"],"is_corresponding":true,"raw_author_name":"Ernst Moritz Hahn","raw_affiliation_strings":["The School of Electronics, Electrical Engineering and Computer Science, Queen\u2019s University Belfast, UK and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China","The School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, UK and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"The School of Electronics, Electrical Engineering and Computer Science, Queen\u2019s University Belfast, UK and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I126231945","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"The School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, UK and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I126231945","https://openalex.org/I4391767820"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027802245","display_name":"Vahid Hashemi","orcid":"https://orcid.org/0000-0002-9167-7417"},"institutions":[{"id":"https://openalex.org/I1322300227","display_name":"Audi (Germany)","ror":"https://ror.org/02aykj333","country_code":"DE","type":"company","lineage":["https://openalex.org/I1322300227"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vahid Hashemi","raw_affiliation_strings":["Department of Information Technology, Audi AG, Ingolstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Audi AG, Ingolstadt, Germany","institution_ids":["https://openalex.org/I1322300227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028747794","display_name":"Holger Hermanns","orcid":"https://orcid.org/0000-0002-2766-9615"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["CN","DE"],"is_corresponding":false,"raw_author_name":"Holger Hermanns","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus, Germany and Institute of Intelligent Software, Guangzhou, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus, Germany and Institute of Intelligent Software, Guangzhou, Guangzhou, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["Department of Smead Aerospace Engineering and Sciences, University of Colorado, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Department of Smead Aerospace Engineering and Sciences, University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I4391767820","display_name":"State Key Laboratory of Computer Science","ror":"https://ror.org/01hsx4r68","country_code":null,"type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4391767820"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Andrea Turrini","raw_affiliation_strings":["Institute of Intelligent Software, Guangzhou, China and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, China and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4391767820"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030417706"],"corresponding_institution_ids":["https://openalex.org/I126231945","https://openalex.org/I4210128818","https://openalex.org/I4391767820"],"apc_list":null,"apc_paid":null,"fwci":2.9996,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.91910353,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":"4","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9986000061035156,"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/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9975000023841858,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9936000108718872,"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/reachability","display_name":"Reachability","score":0.7430238127708435},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.685784637928009},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6446278095245361},{"id":"https://openalex.org/keywords/pareto-principle","display_name":"Pareto principle","score":0.6225113272666931},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.6118733286857605},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5487249493598938},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.523637056350708},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4851449429988861},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44904813170433044},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.37494874000549316},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31024444103240967},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1651984453201294},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14693200588226318},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13169503211975098}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7430238127708435},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.685784637928009},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6446278095245361},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.6225113272666931},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.6118733286857605},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5487249493598938},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.523637056350708},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4851449429988861},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44904813170433044},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.37494874000549316},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31024444103240967},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1651984453201294},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14693200588226318},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13169503211975098},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3309683","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3309683","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3309683","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/d1f2fa75-77ba-4ade-9b59-eadaa9649b83","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/d1f2fa75-77ba-4ade-9b59-eadaa9649b83","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hahn, E M, Hashemi, V, Hermanns, H, Lahijanian, M & Turrini, A 2019, 'Interval Markov Decision Processes with Multiple Objectives : From Robust Strategies to Pareto Curves', ACM transactions on modeling and computer simulation, vol. 29, no. 4, 27. https://doi.org/10.1145/3309683","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.qub.ac.uk/portal:publications/5b12edf9-40f3-4383-a64f-06a73f0b1122","is_oa":true,"landing_page_url":"https://pure.qub.ac.uk/en/publications/5b12edf9-40f3-4383-a64f-06a73f0b1122","pdf_url":"https://pureadmin.qub.ac.uk/ws/files/193900850/a27_hahn.pdf","source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hahn , E M , Hashemi , V , Hermanns , H , Lahijanian , M & Turrini , A 2019 , ' Interval Markov Decision Processes with Multiple Objectives: from Robust Strategies to Pareto Curves ' , ACM Transactions on Modeling and Computer Simulation , vol. 29 , no. 4 , 27 . https://doi.org/10.1145/3309683","raw_type":"article"},{"id":"pmh:oai:zenodo.org:5750724","is_oa":true,"landing_page_url":"https://zenodo.org/record/5750724","pdf_url":"https://zenodo.org/record/5750724","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3309683","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3309683","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3309683","source":{"id":"https://openalex.org/S38703467","display_name":"ACM Transactions on Modeling and Computer Simulation","issn_l":"1049-3301","issn":["1049-3301","1558-1195"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Modeling and Computer Simulation","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1323638118","display_name":null,"funder_award_id":"Mobile Autonomy Programme Grant EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1361938442","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1477544716","display_name":null,"funder_award_id":"Guangdong","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2029323830","display_name":null,"funder_award_id":"Fellowship for International Young Scientists","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G2189472788","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G2197641028","display_name":null,"funder_award_id":"CRC 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2220620112","display_name":null,"funder_award_id":"Grant 389792660, as part of CRC 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2483205037","display_name":null,"funder_award_id":"EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2602136225","display_name":null,"funder_award_id":"2018B01","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2802911279","display_name":null,"funder_award_id":"Young","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3525752471","display_name":null,"funder_award_id":"617611360","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G37568934","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3780809258","display_name":null,"funder_award_id":"Marie Sk\u0142odowska-Curie","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4245053905","display_name":"Mobile Robotics: Enabling a Pervasive Technology of the Future","funder_award_id":"EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4340048761","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G4573319906","display_name":null,"funder_award_id":"SAFEA","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G4915074102","display_name":null,"funder_award_id":"Grant 389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5045220161","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5398132153","display_name":null,"funder_award_id":"DFG grant","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6069953956","display_name":null,"funder_award_id":"2018B0101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6100177302","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G6258415954","display_name":null,"funder_award_id":"Chinese","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6743243744","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6846610408","display_name":null,"funder_award_id":"61650410658","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6979878578","display_name":null,"funder_award_id":"61761136011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7316208443","display_name":null,"funder_award_id":"Grants No. 61550110506, 61650410658, 61761136011, and 61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7457441254","display_name":null,"funder_award_id":"61761136","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7468986614","display_name":null,"funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7901872499","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G8200622543","display_name":null,"funder_award_id":"Advanced Investigators Grant 695614 (POWVER)","funder_id":"https://openalex.org/F4320338352","funder_display_name":"FP7 Ideas: European Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8526424774","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G9645230","display_name":null,"funder_award_id":"Marie Sk?odowska-Curie Actions Individual Fellowship PaVeCo - Parametrised Verification and Control","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null},{"id":"https://openalex.org/F4320338352","display_name":"FP7 Ideas: European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2913279531.pdf","grobid_xml":"https://content.openalex.org/works/W2913279531.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W16586245","https://openalex.org/W125973810","https://openalex.org/W1479679270","https://openalex.org/W1491322982","https://openalex.org/W1497573972","https://openalex.org/W1498432697","https://openalex.org/W1559540003","https://openalex.org/W1584965098","https://openalex.org/W1659646318","https://openalex.org/W1965878388","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W2058117005","https://openalex.org/W2076337359","https://openalex.org/W2104298332","https://openalex.org/W2117518378","https://openalex.org/W2125500714","https://openalex.org/W2128480458","https://openalex.org/W2140105941","https://openalex.org/W2144502731","https://openalex.org/W2256709084","https://openalex.org/W2284340808","https://openalex.org/W2569030807","https://openalex.org/W2587263590","https://openalex.org/W2599078145","https://openalex.org/W2716905450","https://openalex.org/W2963240753","https://openalex.org/W4246195644","https://openalex.org/W4300944426"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W2315999538","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532"],"abstract_inverted_index":{"Accurate":[0],"Modelling":[1],"of":[2,70,79,90,121,139,167,176],"a":[3,10,53,101,157,188],"real-world":[4],"system":[5],"with":[6,60],"probabilistic":[7,58],"behaviour":[8],"is":[9,152],"difficult":[11],"task.":[12],"Sensor":[13],"noise":[14],"and":[15,86,112,155],"statistical":[16],"estimations,":[17],"among":[18],"other":[19],"imprecisions,":[20],"make":[21],"the":[22,68,71,77,122,140,148,164,173],"exact":[23,72],"probability":[24,124],"values":[25],"impossible":[26],"to":[27,99,129,162],"obtain.":[28],"In":[29],"this":[30],"article,":[31],"we":[32],"consider":[33],"Interval":[34],"Markov":[35],"decision":[36,160],"processes":[37],"(":[38],"IMDP":[39,84,94],"s),":[40],"which":[41],"generalise":[42],"classical":[43],"MDP":[44],"s":[45,85],"by":[46,180],"having":[47],"interval-valued":[48],"transition":[49,73,123],"probabilities.":[50,74],"They":[51],"provide":[52,156],"powerful":[54],"modelling":[55],"tool":[56],"for":[57,83],"systems":[59],"an":[61,131,136],"additional":[62],"variation":[63],"or":[64],"uncertainty":[65],"that":[66,105,147],"prevents":[67],"knowledge":[69],"We":[75,96,145,170],"investigate":[76],"problem":[78,151],"robust":[80,102],"multi-objective":[81,91,149],"synthesis":[82,150],"Pareto":[87,133,165],"curve":[88,134],"analysis":[89],"queries":[92],"on":[93,183],"s.":[95],"study":[97],"how":[98],"find":[100],"(randomised)":[103],"strategy":[104],"satisfies":[106],"multiple":[107,143],"objectives":[108],"involving":[109],"rewards,":[110],"reachability,":[111],"more":[113],"general":[114],"\u03c9-regular":[115],"properties":[116],"against":[117],"all":[118],"possible":[119],"resolutions":[120],"uncertainties,":[125],"as":[126,128],"well":[127],"generate":[130],"approximate":[132,163],"providing":[135],"explicit":[137],"view":[138],"trade-offs":[141],"between":[142],"objectives.":[144],"show":[146],"PSPACE":[153],"-hard":[154],"value":[158],"iteration-based":[159],"algorithm":[161],"set":[166],"achievable":[168],"points.":[169],"finally":[171],"demonstrate":[172],"practical":[174],"effectiveness":[175],"our":[177],"proposed":[178],"approaches":[179],"applying":[181],"them":[182],"several":[184],"case":[185],"studies":[186],"using":[187],"prototype":[189],"tool.":[190]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}