{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:35Z","timestamp":1750306355032,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["ICT15-003"],"award-info":[{"award-number":["ICT15-003"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["S11402-N23, Z211-N23, P23499- N23, S11407-N23"],"award-info":[{"award-number":["S11402-N23, Z211-N23, P23499- N23, S11407-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2014\/15\/D\/ST6\/04543"],"award-info":[{"award-number":["2014\/15\/D\/ST6\/04543"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["267989,279307"],"award-info":[{"award-number":["267989,279307"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2933588","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"76-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantitative Automata under Probabilistic Semantics"],"prefix":"10.1145","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"IST Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"IST Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Otop","sequence":"additional","affiliation":[{"name":"University of Wrocaw"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-642-54862-8_37"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/LICS.2013.65"},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J. Katoen . Principles of model checking . MIT Press , 2008 . ISBN 978-0-262-02649-9. C. Baier and J. Katoen. Principles of model checking. MIT Press, 2008. ISBN 978-0-262-02649-9."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/2603088.2603089"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/2603088.2603162"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/2629686"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/1880999.1881063"},{"key":"e_1_3_2_1_8_1","first-page":"266","volume-title":"Averaging in LTL. In CONCUR 2014","author":"Bouyer P.","year":"2014","unstructured":"P. Bouyer , N. Markey , and R. M. Matteplackel . Averaging in LTL. In CONCUR 2014 , pages 266 -- 280 , 2014 . P. Bouyer, N. Markey, and R. M. Matteplackel. Averaging in LTL. In CONCUR 2014, pages 266--280, 2014."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/LICS.2011.10"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-662-46681-0_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/1781794.1781835"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.5555\/2034006.2034029"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/11672142_26"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.5555\/1789494.1789497"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/978-3-642-02930-1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1805950.1805953"},{"key":"e_1_3_2_1_17_1","volume-title":"Expressiveness and closure properties for quantitative languages. LMCS, 6(3)","author":"Chatterjee K.","year":"2010","unstructured":"K. Chatterjee , L. Doyen , and T. A. Henzinger . Expressiveness and closure properties for quantitative languages. LMCS, 6(3) , 2010 . K. Chatterjee, L. Doyen, and T. A. Henzinger. Expressiveness and closure properties for quantitative languages. LMCS, 6(3), 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-642-45221-5_17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/2699430"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/LICS.2015.72"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1109\/LICS.2015.32"},{"key":"e_1_3_2_1_22_1","volume-title":"Quantitative automata under probabilistic semantics. CoRR, abs\/1604.06764","author":"Chatterjee K.","year":"2016","unstructured":"K. Chatterjee , T. A. Henzinger , and J. Otop . Quantitative automata under probabilistic semantics. CoRR, abs\/1604.06764 , 2016 . URL http:\/\/arxiv.org\/abs\/1604.06764. K. Chatterjee, T. A. Henzinger, and J. Otop. Quantitative automata under probabilistic semantics. CoRR, abs\/1604.06764, 2016. URL http:\/\/arxiv.org\/abs\/1604.06764."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/11779148_6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","author":"Droste M.","year":"2009","unstructured":"M. Droste , W. Kuich , and H. Vogler . Handbook of Weighted Automata . Springer , 1 st edition, 2009 . M. Droste, W. Kuich, and H. Vogler. Handbook of Weighted Automata. Springer, 1st edition, 2009.","edition":"1"},{"key":"e_1_3_2_1_25_1","volume-title":"An introduction to probability theory and its applications","author":"Feller W.","year":"1971","unstructured":"W. Feller . An introduction to probability theory and its applications . Wiley , 1971 . ISBN 9780471257097. W. Feller. An introduction to probability theory and its applications. Wiley, 1971. ISBN 9780471257097."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/248676"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.5555\/1987389.1987403"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1007\/11691372_29"},{"issue":"3","key":"e_1_3_2_1_29_1","first-page":"321","article-title":"Semiring frameworks and algorithms for shortest-distance problems","volume":"7","author":"Mohri M.","year":"2002","unstructured":"M. Mohri . Semiring frameworks and algorithms for shortest-distance problems . J. Aut. Lang. & Comb. , 7 ( 3 ): 321 -- 350 , 2002 . M. Mohri. Semiring frameworks and algorithms for shortest-distance problems. J. Aut. Lang. & Comb., 7(3):321--350, 2002.","journal-title":"J. Aut. Lang. & Comb."},{"key":"e_1_3_2_1_30_1","volume-title":"Wiley","author":"Papadimitriou C. H.","year":"2003","unstructured":"C. H. Papadimitriou . Computational complexity . Wiley , 2003 . C. H. Papadimitriou. Computational complexity. Wiley, 2003."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman M. L.","year":"1994","unstructured":"M. L. Puterman . Markov Decision Processes: Discrete Stochastic Dynamic Programming . Wiley , 1 st edition, 1994 . M. L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, 1st edition, 1994.","edition":"1"},{"key":"e_1_3_2_1_32_1","volume-title":"The complexity of computing the permanent. Theoretical computer science, 8(2):189--201","author":"Valiant L. G.","year":"1979","unstructured":"L. G. Valiant . The complexity of computing the permanent. Theoretical computer science, 8(2):189--201 , 1979 . L. G. Valiant. The complexity of computing the permanent. Theoretical computer science, 8(2):189--201, 1979."}],"event":{"sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"acronym":"LICS '16","name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"New York NY USA"},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933588","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2933588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:03Z","timestamp":1750222563000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":32,"alternative-id":["10.1145\/2933575.2933588","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2933588","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}