{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:40:08Z","timestamp":1751816408543,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030001506"},{"type":"electronic","value":"9783030001513"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00151-3_1","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T13:54:31Z","timestamp":1535205271000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Stochastic Temporal Logic Abstractions: Challenges and Opportunities"],"prefix":"10.1007","author":[{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Kyriakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Bogdan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"issue":"11","key":"1_CR1","doi-asserted-by":"publisher","first-page":"2688","DOI":"10.1109\/TAC.2011.2160595","volume":"56","author":"A Abate","year":"2011","unstructured":"Abate, A., D\u2019Innocenzo, A., Benedetto, M.D.D.: Approximate abstractions of stochastic hybrid systems. IEEE Trans. Autom. Control 56(11), 2688\u20132694 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"doi-asserted-by":"crossref","unstructured":"Aksaray, D., Jones, A., Kong, Z., Schwager, M., Belta, C.: Q-learning for robust satisfaction of signal temporal logic specifications. In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 6565\u20136570, December 2016","key":"1_CR2","DOI":"10.1109\/CDC.2016.7799279"},{"doi-asserted-by":"crossref","unstructured":"Arnold, A., Liu, Y., Abe., N.: Temporal causal modeling with graphical Granger methods. In: Proceedings of International Conference on Knowledge Discovery and Data Mining (SIGKDD-07) (2007)","key":"1_CR3","DOI":"10.1145\/1281192.1281203"},{"key":"1_CR4","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/1-4020-8141-3_38","volume-title":"Exploring New Frontiers of Theoretical Informatics","author":"C Baier","year":"2004","unstructured":"Baier, C., Gr\u00f6\u00dfer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems (extended abstract). In: Levy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004. IIFIP, vol. 155, pp. 493\u2013506. Springer, Boston, MA (2004). https:\/\/doi.org\/10.1007\/1-4020-8141-3_38"},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1142\/p036","volume-title":"Statistical Dynamics: Matter Out of Equilibrium","author":"R Balescu","year":"1997","unstructured":"Balescu, R.: Statistical Dynamics: Matter Out of Equilibrium. World Scientific, Singapore (1997)"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1201\/9781420034684","volume-title":"Aspects of Anomalous Transport in Plasmas","author":"R Balescu","year":"2005","unstructured":"Balescu, R.: Aspects of Anomalous Transport in Plasmas. CRC Press, Boca Raton (2005)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-11936-6_8","volume-title":"Automated Technology for Verification and Analysis","author":"T Br\u00e1zdil","year":"2014","unstructured":"Br\u00e1zdil, T., et al.: Verification of Markov decision processes using learning algorithms. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 98\u2013114. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_8"},{"unstructured":"Cardenas, A., et al.: Challenges for securing cyber physical systems. In: Workshop on Future Directions in Cyber-Physical Systems Security, vol. 5 (2009)","key":"1_CR8"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 264\u2013279. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_19"},{"issue":"42","key":"1_CR10","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comp. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comp. Sci."},{"doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Computational methods for stochastic control with metric interval temporal logic specifications. In: 2015 IEEE 54th Annual Conference on Decision and Control (CDC), pp. 7440\u20137447. IEEE (2015)","key":"1_CR11","DOI":"10.1109\/CDC.2015.7403395"},{"issue":"5","key":"1_CR12","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"unstructured":"Hoxha, B., Abbas, H., Fainekos, G.: Benchmarks for temporal logic requirements for automotive systems. In: Frehse, G., Althoff, M. (eds.) ARCH14-15. 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems. EPiC Series in Computing, vol. 34, pp. 25\u201330. EasyChair (2015)","key":"1_CR13"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-40648-0_10","volume-title":"NASA Formal Methods","author":"S Jha","year":"2016","unstructured":"Jha, S., Raman, V.: Automated synthesis of safe autonomous vehicle control under perception uncertainty. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 117\u2013132. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_10"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-017-9413-9","volume":"60","author":"S Jha","year":"2018","unstructured":"Jha, S., Raman, V., Sadigh, D., Seshia, S.A.: Safe autonomy under perception uncertainty using chance-constrained temporal logic. J. Autom. Reason. 60(1), 43\u201362 (2018)","journal-title":"J. Autom. Reason."},{"doi-asserted-by":"crossref","unstructured":"Jin, X., Deshmukh, J.V., Kapinski, J., Ueda, K., Butts, K.: Powertrain control verification benchmark. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, pp. 253\u2013262. ACM (2014)","key":"1_CR16","DOI":"10.1145\/2562059.2562140"},{"issue":"6","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","volume":"54","author":"AA Julius","year":"2009","unstructured":"Julius, A.A., Pappas, G.J.: Approximations of stochastic hybrid systems. IEEE Trans. Autom. Control 54(6), 1193\u20131203 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"doi-asserted-by":"crossref","unstructured":"Kamgarpour, M., Ding, J., Summers, S., Abate, A., Lygeros, J., Tomlin, C.: Discrete time stochastic hybrid dynamical games: verification amp; controller synthesis. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference, pp. 6122\u20136127, December 2011","key":"1_CR18","DOI":"10.1109\/CDC.2011.6161218"},{"doi-asserted-by":"crossref","unstructured":"Kapinski, J., et al.: ST-Lib: a library for specifying and classifying model behaviors. In: SAE Technical Paper. SAE (2016)","key":"1_CR19","DOI":"10.4271\/2016-01-0621"},{"key":"1_CR20","doi-asserted-by":"publisher","DOI":"10.1002\/9783527622979","volume-title":"Anomalous Transport: Foundations and Applications","author":"R Klages","year":"2008","unstructured":"Klages, R., Radons, G., Radons, G., Sokolov, I.: Anomalous Transport: Foundations and Applications. Wiley, Hoboken (2008)"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.eplepsyres.2008.02.002","volume":"79","author":"MA Kramer","year":"2008","unstructured":"Kramer, M.A., Kolaczyk, E.D., Kirsch, H.E.: Emergent network topology at seizure onset in humans. Epilepsy Res. 79(2), 173\u2013186 (2008)","journal-title":"Epilepsy Res."},{"doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Andersson, S.B., Belta, C.: Control of Markov decision processes from PCTL specifications. In: Proceedings of the 2011 American Control Conference, pp. 311\u2013316, June 2011","key":"1_CR22","DOI":"10.1109\/ACC.2011.5990952"},{"doi-asserted-by":"crossref","unstructured":"Li, J., Nuzzo, P., Sangiovanni-Vincentelli, A., Xi, Y., Li, D.: Stochastic contracts for cyber-physical system design under probabilistic requirements. In: ACM\/IEEE International Conference on Formal Methods and Models for System Design (2017)","key":"1_CR23","DOI":"10.1145\/3127041.3127045"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/JSAC.2013.130415","volume":"31","author":"M Pajic","year":"2013","unstructured":"Pajic, M., Mangharam, R., Pappas, G.J., Sundaram, S.: Topological conditions for in-network stabilization of dynamical systems. IEEE J. Sel. Areas Commun. 31(4), 794\u2013807 (2013). https:\/\/doi.org\/10.1109\/JSAC.2013.130415","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNAI), vol. 5307, pp. 251\u2013268. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88562-7_19"},{"doi-asserted-by":"crossref","unstructured":"Roehm, H., Gmehlich, R., Heinz, T., Oehlerking, J., Woehrle, M.: Industrial examples of formal specifications for test case generation. In: Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH@CPSWeek 2015, pp. 80\u201388 (2015)","key":"1_CR27","DOI":"10.29007\/z9ph"},{"doi-asserted-by":"crossref","unstructured":"Sadigh, D., Kapoor, A.: Safe control under uncertainty with probabilistic signal temporal logic. In: Robotics Science and Systems (2016)","key":"1_CR28","DOI":"10.15607\/RSS.2016.XII.017"},{"doi-asserted-by":"publisher","unstructured":"Sundaram, S., Pajic, M., Hadjicostis, C., Mangharam, R., Pappas, G.: The wireless control network: monitoring for malicious behavior. In: 49th IEEE Conference on Decision and Control (CDC), pp. 5979\u20135984, December 2010. https:\/\/doi.org\/10.1109\/CDC.2010.5717166","key":"1_CR29","DOI":"10.1109\/CDC.2010.5717166"},{"issue":"11","key":"1_CR30","doi-asserted-by":"publisher","first-page":"2894","DOI":"10.1016\/j.automatica.2012.06.072","volume":"48","author":"S Sundaram","year":"2012","unstructured":"Sundaram, S., Revzen, S., Pappas, G.: A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks. Automatica 48(11), 2894\u20132901 (2012)","journal-title":"Automatica"},{"doi-asserted-by":"crossref","unstructured":"Xue, Y., Bogdan, P.: Constructing compact causal mathematical models for complex dynamics. In: Proceedings of the 8th International Conference on Cyber-Physical Systems, pp. 97\u2013107. ICCPS 2017 (2017)","key":"1_CR31","DOI":"10.1145\/3055004.3055017"},{"doi-asserted-by":"crossref","unstructured":"Zhang, X., Wu, B., Lin, H.: Learning based supervisor synthesis of POMDP for PCTL specifications. In: 2015 IEEE 54th Annual Conference on Decision and Control (CDC), pp. 7470\u20137475. IEEE (2015)","key":"1_CR32","DOI":"10.1109\/CDC.2015.7403399"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00151-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T15:20:28Z","timestamp":1751815228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00151-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030001506","9783030001513"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00151-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}