{"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/I126231945","display_name":"Queen's University Belfast","ror":"https://ror.org/00hswnk62","country_code":"GB","type":"education","lineage":["https://openalex.org/I126231945"]},{"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"]}],"countries":["CN","GB"],"is_corresponding":false,"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"],"raw_orcid":null,"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/I126231945","https://openalex.org/I4210128818","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"],"raw_orcid":null,"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"],"raw_orcid":null,"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"],"raw_orcid":null,"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/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"]}],"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"],"raw_orcid":null,"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":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6648,"has_fulltext":true,"cited_by_count":25,"citation_normalized_percentile":{"value":0.90779384,"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: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:ris.utwente.nl:publications/d1f2fa75-77ba-4ade-9b59-eadaa9649b83","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/d1f2fa75-77ba-4ade-9b59-eadaa9649b83","pdf_url":"https://ris.utwente.nl/ws/files/247404960/Hanhj2019interval.pdf","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":"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":"info:eu-repo/semantics/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":[{"id":"https://metadata.un.org/sdg/16","score":0.6200000047683716,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"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/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/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/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/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/G7468986614","display_name":"\u5927\u89c4\u6a21\u6982\u7387\u5e76\u53d1\u5b9e\u65f6\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c","funder_award_id":"61532019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"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/G890954746","display_name":"TRR 248: Grundlagen verst\u00e4ndlicher SoftwareSysteme  f\u00fcr eine nachvollziehbare cyberphysische Welt","funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"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":2026,"cited_by_count":1},{"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-07-26T07:53:14.480251","created_date":"2025-10-10T00:00:00"}