{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:32:20Z","timestamp":1730280740934,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470595","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic Processes with Expected Stopping Time"],"prefix":"10.1109","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Doyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Formal Verification of Probabilistic Systems","author":"de alfaro","year":"1997","journal-title":"PhD thesis"},{"key":"ref11","article-title":"Essays on Time-Varying Discount Rates","author":"dew-becker","year":"2012","journal-title":"PhD thesis"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/BF00355298"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/BFb0086396"},{"year":"1997","author":"filar","journal-title":"Competitive Markov Decision Processes","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1017\/CBO9781139626514"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.dam.2005.10.009"},{"year":"1960","author":"howard","journal-title":"Dynamic Programming and Markov Processes","key":"ref17"},{"year":"1966","author":"kemeny","journal-title":"Denumerable Markov Chains","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-540-30482-1_21"},{"key":"ref28","first-page":"427","article-title":"Decomposition theorems for probabilistic automata over infinite objects","volume":"10","author":"reisz","year":"1999","journal-title":"Informatica Lith Acad Sci"},{"key":"ref4","first-page":"102:1","article-title":"On the complexity of value iteration","volume":"132","author":"balaji","year":"2019","journal-title":"Proc of ICALP Automata Languages and Programming"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/S0019-9958(63)90290-0"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/62212.62257"},{"key":"ref29","first-page":"520","article-title":"Heuristic search value iteration for POMDPs","author":"smith","year":"2004","journal-title":"Proc of UAI Uncertainty in Artificial Intelligence"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances in Computers"},{"key":"ref8","article-title":"Stochastic processes with expected stopping time","author":"chatterjee","year":"2021","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/LICS.2019.8785706"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/2108242.2108243"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/210332.210339"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.ipl.2014.08.013"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/S0004-3702(02)00378-8"},{"year":"1994","author":"osborne","journal-title":"A Course in Game Theory","key":"ref22"},{"year":"2010","author":"norvig","journal-title":"Artificial Intelligence - A Modern Approach","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1287\/moor.12.3.441"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1137\/1.9781611973402.27"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes"},{"year":"1971","author":"paz","journal-title":"Introduction to Probabilistic Automata","key":"ref25"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470595.pdf?arnumber=9470595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:46:22Z","timestamp":1652197582000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470595\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470595","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}