{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:19:19Z","timestamp":1764688759368,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,12]],"date-time":"2010-04-12T00:00:00Z","timestamp":1271030400000},"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":[[2010,4,12]]},"DOI":"10.1145\/1755952.1755988","type":"proceedings-article","created":{"date-parts":[[2010,4,12]],"date-time":"2010-04-12T18:13:40Z","timestamp":1271096020000},"page":"253-262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["On the connections between PCTL and dynamic programming"],"prefix":"10.1145","author":[{"given":"Federico","family":"Ramponi","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Debasish","family":"Chatterjee","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Summers","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_7"},{"volume-title":"USA","year":"1991","author":"Aubin J.-P.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.48"},{"volume-title":"Athena Scientific","year":"1996","author":"Bertsekas D.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"D. P. Bertsekas. Dynamic Programming and Optimal Control. vol. 1 Athena Scientific 3 ed. 2007.  D. P. Bertsekas. Dynamic Programming and Optimal Control. vol. 1 Athena Scientific 3 ed. 2007."},{"key":"e_1_3_2_1_7_1","unstructured":"D. P. Bertsekas. Dynamic Programming and Optimal Control. vol. 2 Athena Scientific 3 ed. 2007.   D. P. Bertsekas. Dynamic Programming and Optimal Control. vol. 2 Athena Scientific 3 ed. 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.824469"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"V. S. Borkar. Probability Theory an Advanced Course. Universitext Springer-Verlag 1995.  V. S. Borkar. Probability Theory an Advanced Course. Universitext Springer-Verlag 1995.","DOI":"10.1007\/978-1-4612-0791-7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"M. L.\n       \n      Bujorianu\n     and \n      \n      \n      J.\n       \n      Lygeros\n      \n  \n  . \n  Reachability questions in piecewise deterministic markov processes\n  . in HSCC O. Maler and A. Pnueli eds. vol. \n  2623\n   of \n  Lecture Notes in Computer Science Springer 2003 pp. \n  126\n  --\n  140\n  .   M. L. Bujorianu and J. Lygeros. Reachability questions in piecewise deterministic markov processes. in HSCC O. Maler and A. Pnueli eds. vol. 2623 of Lecture Notes in Computer Science Springer 2003 pp. 126--140.","DOI":"10.1007\/3-540-36580-X_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017.S0269964802163030"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.insmatheco.2004.06.004"},{"key":"e_1_3_2_1_13_1","unstructured":"D. Chatterjee E. Cinquemani and J. Lygeros. Maximizing the probability of attaining a target prior to extinction. http:\/\/arxiv.org\/abs\/0904.4143 2009.  D. Chatterjee E. Cinquemani and J. Lygeros. Maximizing the probability of attaining a target prior to extinction. http:\/\/arxiv.org\/abs\/0904.4143 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2005.06.001"},{"key":"e_1_3_2_1_15_1","unstructured":"C. W. Clark. Mathematical Bioeconomics: The Optimal Management of Renewable Resources. Wiley-Interscience 2 ed. March 1990.  C. W. Clark. Mathematical Bioeconomics: The Optimal Management of Renewable Resources. Wiley-Interscience 2 ed. March 1990."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.insmatheco.2003.09.010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/788020.788888"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.59"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.013"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691772"},{"key":"e_1_3_2_1_23_1","unstructured":"O.\n       \n      Hernandez-Lerma\n     and \n      \n      \n      J. B.\n       \n      Lasserre\n      \n  \n  . \n  Discrete-Time Markov Control Processes: Basic Optimality Criteria\n  . vol. \n  30\n   of \n  Applications of Mathematics Springer-Verlag New York 1996\n  .  O. Hernandez-Lerma and J. B. Lasserre. Discrete-Time Markov Control Processes: Basic Optimality Criteria. vol. 30 of Applications of Mathematics Springer-Verlag New York 1996."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.08.008"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608520"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364651"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768017.1768023"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710472"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"H. Nyrhinen. On the ruin probabilities in a general economic environment. Stochastic Processes and their Applications 83 (1999) pp. 319--330.  H. Nyrhinen. On the ruin probabilities in a general economic environment. Stochastic Processes and their Applications 83 (1999) pp. 319--330.","DOI":"10.1016\/S0304-4149(99)00030-7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85072-4_2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1214\/08-PS134"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecolmodel.2007.05.006"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"W. B.\n       \n      Powell\n    .\n      \n  \n   \n  Approximate Dynamic Programming\n  . \n  Wiley Series in Probability and Statistics Wiley-Interscience {John \n  Wiley & Sons\n  } Hoboken NJ 2007\n  .   W. B. Powell. Approximate Dynamic Programming. Wiley Series in Probability and Statistics Wiley-Interscience {John Wiley & Sons} Hoboken NJ 2007.","DOI":"10.1002\/9780470182963"},{"key":"e_1_3_2_1_37_1","unstructured":"M. M.\n       \n      Rao\n     and \n      \n      \n      R. J.\n       \n      Swift\n      \n  \n  . \n  Probability Theory with Applications\n  . vol. \n  582\n   of \n  Mathematics and Its Applications Springer-Verlag 2 ed. 2006\n  .   M. M. Rao and R. J. Swift. Probability Theory with Applications. vol. 582 of Mathematics and Its Applications Springer-Verlag 2 ed. 2006."},{"key":"e_1_3_2_1_38_1","unstructured":"W.\n       \n      Rudin\n    .\n      \n  \n   \n  Principles of Mathematical Analysis\n  . \n  International Series in Pure and Applied Mathematics McGraw-Hill Companies Inc. 1976\n  .  W. Rudin. Principles of Mathematical Analysis. International Series in Pure and Applied Mathematics McGraw-Hill Companies Inc. 1976."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.911342"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"S. Summers and J. Lygeros. A probabilistic reach-avoid problem for controlled discrete time stochastic hybrid systems. http:\/\/control.ee.ethz.ch\/index.cgi?page=publications;action=details;id=3347 2009.  S. Summers and J. Lygeros. A probabilistic reach-avoid problem for controlled discrete time stochastic hybrid systems. http:\/\/control.ee.ethz.ch\/index.cgi?page=publications;action=details;id=3347 2009.","DOI":"10.3182\/20090916-3-ES-3003.00027"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Q. Tang and G. Tsitsiashvili. Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks. Stochastic Processes and their Applications 108 (2003) pp. 299--325.  Q. Tang and G. Tsitsiashvili. Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks. Stochastic Processes and their Applications 108 (2003) pp. 299--325.","DOI":"10.1016\/j.spa.2003.07.001"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2007.06.001"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00186-005-0025-5"}],"event":{"name":"HSCC '10: The 13th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Stockholm Sweden","acronym":"HSCC '10"},"container-title":["Proceedings of the 13th ACM international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755952.1755988","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755952.1755988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:34Z","timestamp":1750250734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755952.1755988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,12]]},"references-count":43,"alternative-id":["10.1145\/1755952.1755988","10.1145\/1755952"],"URL":"https:\/\/doi.org\/10.1145\/1755952.1755988","relation":{},"subject":[],"published":{"date-parts":[[2010,4,12]]},"assertion":[{"value":"2010-04-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}