{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T10:42:43Z","timestamp":1793270563909,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,5]],"date-time":"2017-12-05T00:00:00Z","timestamp":1512432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRK 1855"],"award-info":[{"award-number":["GRK 1855"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,5]]},"DOI":"10.1145\/3150928.3150945","type":"proceedings-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T16:28:33Z","timestamp":1533054513000},"page":"44-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters"],"prefix":"10.1145","author":[{"given":"Dimitri","family":"Scheftelowitsch","sequence":"first","affiliation":[{"name":"Informatik IV, TU Dortmund, Dortmund, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Buchholz","sequence":"additional","affiliation":[{"name":"Informatik IV, TU Dortmund, Dortmund, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vahid","family":"Hashemi","sequence":"additional","affiliation":[{"name":"Saarland University - Computer Science, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[{"name":"Saarland University - Computer Science, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390162"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2016.1546"},{"key":"e_1_3_2_1_3_1","volume-title":"Optimal healthcare decision making under multiple mathematical models: application in prostate cancer screening. Health care management science","author":"Bertsimas Dimitris","year":"2016","unstructured":"Dimitris Bertsimas , John Silberholz , and Thomas Trikalinos . 2016. Optimal healthcare decision making under multiple mathematical models: application in prostate cancer screening. Health care management science ( 2016 ), 1--14. Dimitris Bertsimas, John Silberholz, and Thomas Trikalinos. 2016. Optimal healthcare decision making under multiple mathematical models: application in prostate cancer screening. Health care management science (2016), 1--14."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329152"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11672142_26"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.01.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.07.004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"e_1_3_2_1_9_1","volume-title":"Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs\/1706.06875","author":"Hahn Ernst Moritz","year":"2017","unstructured":"Ernst Moritz Hahn , Vahid Hashemi , Holger Hermanns , Morteza Lahijanian , and Andrea Turrini . 2017. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs\/1706.06875 ( 2017 ). http:\/\/arxiv.org\/abs\/1706.06875 Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, and Andrea Turrini. 2017. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs\/1706.06875 (2017). http:\/\/arxiv.org\/abs\/1706.06875"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1040.0129"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/02331934.2013.769104"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00426ED1V01Y201206AIM017"},{"key":"e_1_3_2_1_14_1","unstructured":"Patrice Perny and Paul Weng. 2010. On Finding Compromise Solutions in Multi-objective Markov Decision Processes. In ECAI. 969--970.   Patrice Perny and Paul Weng. 2010. On Finding Compromise Solutions in Multi-objective Markov Decision Processes. In ECAI. 969--970."},{"key":"e_1_3_2_1_15_1","volume-title":"Seshia","author":"Puggelli Alberto","year":"2013","unstructured":"Alberto Puggelli , Wenchao Li , Alberto L. Sangiovanni-Vincentelli , and Sanjit A . Seshia . 2013 . Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. In CAV. 527--542. Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. 2013. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. In CAV. 527--542."},{"key":"e_1_3_2_1_16_1","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman Martin L.","unstructured":"Martin L. Puterman . 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming . John Wiley & Sons, Inc. , New York, NY, USA . Martin L. Puterman. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_17_1","volume-title":"Oliehoek","author":"Roijers Diederik M.","year":"2014","unstructured":"Diederik M. Roijers , Shimon Whiteson , and Frans A . Oliehoek . 2014 . Linear Support for Multi-objective Coordination Graphs. In AAMAS. 1297--1304. Diederik M. Roijers, Shimon Whiteson, and Frans A. Oliehoek. 2014. Linear Support for Multi-objective Coordination Graphs. In AAMAS. 1297--1304."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914028"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.21.3.728"},{"key":"e_1_3_2_1_20_1","volume-title":"The Complexity of Uncertainty in Markov Decision Processes. In SIAM Conference on Control & its Applications CT15","author":"Scheftelowitsch Dimitri","year":"2015","unstructured":"Dimitri Scheftelowitsch . 2015 . The Complexity of Uncertainty in Markov Decision Processes. In SIAM Conference on Control & its Applications CT15 . Dimitri Scheftelowitsch. 2015. The Complexity of Uncertainty in Markov Decision Processes. In SIAM Conference on Control & its Applications CT15."},{"key":"e_1_3_2_1_21_1","unstructured":"Dimitri Scheftelowitsch. 2016. BMDP testing infrastructure. https:\/\/gitlab.com\/dreval\/bmdp-python-scripts. (2016). Accessed: 2016-11-22.  Dimitri Scheftelowitsch. 2016. BMDP testing infrastructure. https:\/\/gitlab.com\/dreval\/bmdp-python-scripts. (2016). Accessed: 2016-11-22."},{"key":"e_1_3_2_1_22_1","unstructured":"Dimitri Scheftelowitsch and Peter Buchholz. 2016. BMDP analysis tool. https:\/\/gitlab.com\/dreval\/bmdp-analysis. (2016). Accessed: 2017-07-17.  Dimitri Scheftelowitsch and Peter Buchholz. 2016. BMDP analysis tool. https:\/\/gitlab.com\/dreval\/bmdp-analysis. (2016). Accessed: 2017-07-17."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Dimitri Scheftelowitsch Peter Buchholz Vahid Hashemi and Holger Hermanns. 2017. Online Companion for \"Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters\". http:\/\/ls4-www.cs.tu-dortmund.de\/cms\/de\/home\/scheftelowitsch\/publications\/bmdp-mo-online-companion.pdf. (2017).  Dimitri Scheftelowitsch Peter Buchholz Vahid Hashemi and Holger Hermanns. 2017. Online Companion for \"Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters\". http:\/\/ls4-www.cs.tu-dortmund.de\/cms\/de\/home\/scheftelowitsch\/publications\/bmdp-mo-online-companion.pdf. (2017).","DOI":"10.1145\/3150928.3150945"},{"key":"e_1_3_2_1_24_1","volume-title":"Introduction to the numerical solution of Markov Chains","author":"Stewart William J.","unstructured":"William J. Stewart . 1994. Introduction to the numerical solution of Markov Chains . Princeton University Press . William J. Stewart. 1994. Introduction to the numerical solution of Markov Chains. Princeton University Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.42.4.739"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(82)90122-6"},{"key":"e_1_3_2_1_27_1","volume-title":"Multiobjective Programming and Goal Programming","author":"Wiecek Margaret M","unstructured":"Margaret M Wiecek , Vincent Y Blouin , Georges M Fadel , Alexander Engau , Brian J Hunt , and Vijay Singh . 2009. Multi-scenario multi-objective optimization with applications in engineering design . In Multiobjective Programming and Goal Programming . Springer , 283--298. Margaret M Wiecek, Vincent Y Blouin, Georges M Fadel, Alexander Engau, Brian J Hunt, and Vijay Singh. 2009. Multi-scenario multi-objective optimization with applications in engineering design. In Multiobjective Programming and Goal Programming. Springer, 283--298."},{"key":"e_1_3_2_1_28_1","volume-title":"Computing Optimal Stationary Policies for Multi-Objective Markov Decision Processes. In ADPRL","author":"Wiering M.A.","year":"2007","unstructured":"M.A. Wiering and E.D. de Jong . 2007 . Computing Optimal Stationary Policies for Multi-Objective Markov Decision Processes. In ADPRL 2007. 158--165. M.A. Wiering and E.D. de Jong. 2007. Computing Optimal Stationary Policies for Multi-Objective Markov Decision Processes. In ADPRL 2007. 158--165."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0566"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"}],"event":{"name":"VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools","location":"Venice Italy","acronym":"VALUETOOLS 2017","sponsor":["EAI The European Alliance for Innovation"]},"container-title":["Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3150928.3150945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:19Z","timestamp":1750213579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,5]]},"references-count":30,"alternative-id":["10.1145\/3150928.3150945","10.1145\/3150928"],"URL":"https:\/\/doi.org\/10.1145\/3150928.3150945","relation":{},"subject":[],"published":{"date-parts":[[2017,12,5]]},"assertion":[{"value":"2017-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}