{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:35:33Z","timestamp":1759336533020},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548611"},{"type":"electronic","value":"9783642548628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_45","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:33:34Z","timestamp":1395408814000},"page":"547-561","source":"Crossref","is-referenced-by-count":12,"title":["Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance"],"prefix":"10.1007","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"6","author":"A. Abate","year":"2010","unstructured":"Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. European Journal of Control\u00a06, 624\u2013641 (2010)","journal-title":"European Journal of Control"},{"issue":"11","key":"45_CR2","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A. Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica\u00a044(11), 2724\u20132734 (2008)","journal-title":"Automatica"},{"key":"45_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"CONCUR\u201999. Concurrency Theory","author":"C. Baier","year":"1999","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains (Extended abstract). In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive gridding for abstraction and verification of stochastic hybrid systems. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems, Aachen, DE, pp. 59\u201369 (September 2011)","DOI":"10.1109\/QEST.2011.16"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-642-33386-6_32","volume-title":"Automated Technology for Verification and Analysis","author":"S. Esmaeil Zadeh Soudjani","year":"2012","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Higher-Order Approximations for Verification of Stochastic Hybrid Systems. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol.\u00a07561, pp. 416\u2013434. Springer, Heidelberg (2012)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Probabilistic invariance of mixed deterministic-stochastic dynamical systems. In: ACM Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control, Beijing, PRC, pp. 207\u2013216 (April 2012)","DOI":"10.1145\/2185632.2185664"},{"issue":"2","key":"45_CR7","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1137\/120871456","volume":"12","author":"S. Esmaeil Zadeh Soudjani","year":"2013","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM Journal on Applied Dynamical Systems\u00a012(2), 921\u2013956 (2013)","journal-title":"SIAM Journal on Applied Dynamical Systems"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11730637_29","volume-title":"Hybrid Systems: Computation and Control","author":"X. Koutsoukos","year":"2006","unstructured":"Koutsoukos, X., Riley, D.: Computational methods for reachability analysis of stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 377\u2013391. Springer, Heidelberg (2006)"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton Series in Computer Science. Princeton University Press (1994)","DOI":"10.1515\/9781400864041"},{"key":"45_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0007-6","volume-title":"Numerical Methods for Stochastic Control Problems in Continuous Time","author":"H.J. Kushner","year":"2001","unstructured":"Kushner, H.J., Dupuis, P.G.: Numerical Methods for Stochastic Control Problems in Continuous Time. Springer, New York (2001)"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Kvasnica, M., Grieder, P., Baoti\u0107, M.: Multi-parametric toolbox, MPT (2004)","DOI":"10.1007\/978-3-540-24743-2_30"},{"key":"45_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-44618-4_11","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Kwiatkowska","year":"2000","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic timed automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 123\u2013137. Springer, Heidelberg (2000)"},{"key":"45_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-71493-4_34","volume-title":"Hybrid Systems: Computation and Control","author":"I.M. Mitchell","year":"2007","unstructured":"Mitchell, I.M.: Comparing forward and backward reachability as tools for safety analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 428\u2013443. Springer, Heidelberg (2007)"},{"key":"45_CR14","unstructured":"Papoulis, A.: Probability, Random Variables, and Stochastic Processes, 3rd edn. Mcgraw-hill (1991)"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Prandini, M., Hu, J.: Stochastic reachability: Theory and numerical approximation. In: Cassandras, C.G., Lygeros, J. (eds.) Stochastic Hybrid Systems. Automation and Control Engineering Series, vol.\u00a024, pp. 107\u2013138. Taylor & Francis Group\/CRC Press (2006)","DOI":"10.1201\/9781420008548.ch5"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: On infinite-horizon probabilistic properties and stochastic bisimulation functions. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL, pp. 526\u2013531 (December 2011)","DOI":"10.1109\/CDC.2011.6160617"},{"key":"45_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.09.032","volume":"515","author":"I. Tkachev","year":"2014","unstructured":"Tkachev, I., Abate, A.: Characterization and computation of infinite-horizon specifications over markov processes. Theoretical Computer Science\u00a0515, 1\u201318 (2014)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T11:59:46Z","timestamp":1558871986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}