{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:21Z","timestamp":1750306521259,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,11]]},"DOI":"10.1145\/2635868.2666598","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"787-790","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Dealing with uncertainty in verification of nondeterministic systems"],"prefix":"10.1145","author":[{"given":"Yamilet R. Serrano","family":"Llerena","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.10"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2007","unstructured":"Christel Baier and Joost-Pieter Katoen . Principles of Model Checking . The MIT Press , 2007 . Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6322"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273496.1273525"},{"key":"e_1_3_2_1_5_1","volume-title":"Multi-objective model checking of Markov decision processes. Logical Methods in Computer Science, 4(4)","author":"Etessami Kousha","year":"2008","unstructured":"Kousha Etessami , Marta Z. Kwiatkowska , Moshe Y. Vardi , and Mihalis Yannakakis . Multi-objective model checking of Markov decision processes. Logical Methods in Computer Science, 4(4) , 2008 . Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, and Mihalis Yannakakis. Multi-objective model checking of Markov decision processes. Logical Methods in Computer Science, 4(4), 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"issue":"9","key":"e_1_3_2_1_7_1","first-page":"23","article-title":"Why your IT project may be riskier than you think","volume":"89","author":"Flyvbjerg B","year":"2011","unstructured":"B Flyvbjerg and A Budzier . Why your IT project may be riskier than you think . Harvard Business Review , 89 ( 9 ): 23 \u2013 25 , 2011 . B Flyvbjerg and A Budzier. Why your IT project may be riskier than you think. Harvard Business Review, 89(9):23\u201325, 2011.","journal-title":"Harvard Business Review"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882389"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986323"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_10"},{"volume-title":"The Haskell programming language","key":"e_1_3_2_1_12_1","unstructured":"Haskell.org. The Haskell programming language . http:\/\/www.haskell.org\/haskellwiki\/Haskell. Accessed: 2014-06-20. Haskell.org. The Haskell programming language. http:\/\/www.haskell.org\/haskellwiki\/Haskell. Accessed: 2014-06-20."},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"45","volume-title":"Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS\u201910)","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . A framework for verification of software with time and probabilities . In K. Chatterjee and T. Henzinger, editors, Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS\u201910) , volume 6246 of LNCS , pages 25\u2013 45 . Springer, 2010. M. Kwiatkowska, G. Norman, and D. Parker. A framework for verification of software with time and probabilities. In K. Chatterjee and T. Henzinger, editors, Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS\u201910), volume 6246 of LNCS, pages 25\u201345. Springer, 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39718-9_3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059820"},{"key":"e_1_3_2_1_16_1","first-page":"591","volume-title":"CAV","author":"Kwiatkowska Marta Z.","year":"2011","unstructured":"Marta Z. Kwiatkowska , Gethin Norman , and David Parker . PRISM 4.0 : Verification of probabilistic real-time systems . In CAV , pages 585\u2013 591 , 2011 . Marta Z. Kwiatkowska, Gethin Norman, and David Parker. PRISM 4.0: Verification of probabilistic real-time systems. In CAV, pages 585\u2013591, 2011."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0015-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568239"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1090\/crmm\/023"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41202-8_20"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568256"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666598","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2666598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":22,"alternative-id":["10.1145\/2635868.2666598","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2666598","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}