{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:43:26Z","timestamp":1742913806671,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319486277"},{"type":"electronic","value":"9783319486284"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-48628-4_2","type":"book-chapter","created":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T07:45:31Z","timestamp":1488354331000},"page":"9-38","source":"Crossref","is-referenced-by-count":1,"title":["Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"given":"Yang","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Gerwinn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,2]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems. Lecture Notes in Computer Science, vol. 736, pp. 209\u2013229. Springer, New York (1993)","key":"2_CR1","DOI":"10.1007\/3-540-57318-6_30"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with MathSAT. ENTCS 89(4) (2004)","key":"2_CR3"},{"unstructured":"Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere et\u00a0al. [7], chap.\u00a026, pp. 825\u2013885","key":"2_CR4"},{"key":"2_CR5","first-page":"679","volume":"6","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: A Markovian decision process. J. Math. Mech. 6, 679\u2013684 (1957)","journal-title":"J. Math. Mech."},{"doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: TACAS\u201999. Lecture Notes in Computer Science, vol. 1579, pp. 193\u2013207. Springer, New York (1999)","key":"2_CR6","DOI":"10.1007\/3-540-49059-0_14"},{"unstructured":"Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)","key":"2_CR7"},{"doi-asserted-by":"crossref","unstructured":"Bousquet, O., Boucheron, S., Lugosi, G.: Introduction to statistical learning theory. Advanced Lectures on Machine Learning, pp. 169\u2013207. Springer, New York (2004)","key":"2_CR8","DOI":"10.1007\/978-3-540-28650-9_8"},{"issue":"5","key":"2_CR9","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"doi-asserted-by":"crossref","unstructured":"Chaochen, Z., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid real-time systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems. Lecture Notes in Computer Science, vol. 736, pp. 36\u201359. Springer, New York (1992)","key":"2_CR10","DOI":"10.1007\/3-540-57318-6_23"},{"doi-asserted-by":"crossref","unstructured":"Eggers, A., Fr\u00e4nzle, M., Herde, C.: SAT modulo ODE: a direct SAT approach to hybrid systems. In: Cha, S.S., Choi, J.Y., Kim, M., Lee, I., Viswanathan, M. (eds.) Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA\u201908). Lecture Notes in Computer Science, vol. 5311, pp. 171\u2013185. Springer, New York (2008)","key":"2_CR11","DOI":"10.1007\/978-3-540-88387-6_14"},{"doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Herde, C.: Efficient proof engines for bounded model checking of hybrid systems. In: Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier (2004)","key":"2_CR12","DOI":"10.1016\/j.entcs.2004.08.061"},{"unstructured":"Fr\u00e4nzle, M., Herde, C., Ratschan, S., Schubert, T., Teige, T.: Interval constraint solving using propositional SAT solving techniques. In: Proceedings of the CP 2006 First International Workshop on the Integration of SAT and CP Techniques, pp. 81\u201395 (2006)","key":"2_CR13"},{"issue":"3\u20134","key":"2_CR14","first-page":"209","volume":"1","author":"M Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT 1(3\u20134), 209\u2013236 (2007)","journal-title":"JSAT"},{"doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: a novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC\u201908). Lecture Notes in Computer Science (LNCS), vol. 4981, pp. 172\u2013186. Springer, New York (2008)","key":"2_CR15","DOI":"10.1007\/978-3-540-78929-1_13"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1016\/j.jlap.2010.07.003","volume":"79","author":"M Fr\u00e4nzle","year":"2010","unstructured":"Fr\u00e4nzle, M., Teige, T., Eggers, A.: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Logic Algebr. Program. 79, 436\u2013466 (2010)","journal-title":"J. Logic Algebr. Program."},{"doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Hahn, E.M., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, pp. 43\u201352. ACM (2011)","key":"2_CR17","DOI":"10.1145\/1967701.1967710"},{"doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Gerwinn, S., Kr\u00f6ger, P., Abate, A., Katoen, J.: Multi-objective parameter synthesis in probabilistic hybrid systems. In: Sankaranarayanan, S., Vicario, E. (eds.) Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, 2\u20134 September 2015, Proceedings. Lecture Notes in Computer Science, vol. 9268, pp. 93\u2013107. Springer, New York (2015)","key":"2_CR18","DOI":"10.1007\/978-3-319-22975-1_7"},{"doi-asserted-by":"crossref","unstructured":"Gao, Y., Fr\u00e4nzle, M.: A solving procedure for stochastic satisfiability modulo theories with continuous domain. In: Campos, J., Haverkort, B.R. (eds.) Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, 1\u20133 September 2015, Proceedings. Lecture Notes in Computer Science, vol. 9259, pp. 295\u2013311. Springer, New York (2015)","key":"2_CR19","DOI":"10.1007\/978-3-319-22264-6_19"},{"unstructured":"Granvilliers, L., Benhamou, F.: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. (TOMS) 32(1), 138\u2013156 (2006)","key":"2_CR20"},{"doi-asserted-by":"crossref","unstructured":"Groote, J.F., Koorn, J.W.C., van Vlijmen, S.F.M.: The safety guaranteeing system at station Hoorn-Kersenboogerd. In: Conference on Computer Assurance, pp. 57\u201368. National Institute of Standards and Technology (1995)","key":"2_CR21","DOI":"10.1109\/CMPASS.1995.521887"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M., Kurshan, R. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, pp. 265\u2013292. Springer, New York (2000)","key":"2_CR22","DOI":"10.1007\/978-3-642-59615-5_13"},{"doi-asserted-by":"crossref","unstructured":"Herde, C., Eggers, A., Fr\u00e4nzle, M., Teige, T.: Analysis of hybrid systems using HySAT. In: The Third International Conference on Systems (ICONS 2008), pp. 196\u2013201. IEEE Computer Society (2008)","key":"2_CR23","DOI":"10.1109\/ICONS.2008.17"},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58, 13\u201330 (1963)","journal-title":"J. Am. Stat. Assoc."},{"doi-asserted-by":"crossref","unstructured":"Julius, A.A.: Approximate abstraction of stochastic hybrid automata. In: Hespanha, J.P., Tiwari, A. (eds.) Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, 29\u201331 March 2006. Proceedings. Lecture Notes in Computer Science, vol. 3927, pp. 318\u2013332. Springer, New York (2006)","key":"2_CR25","DOI":"10.1007\/11730637_25"},{"doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC\u201905. Lecture Notes in Computer Science, vol. 3414. Springer, New York (2005)","key":"2_CR26","DOI":"10.1007\/978-3-540-31954-2_2"},{"issue":"3","key":"2_CR27","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1017584715408","volume":"27","author":"ML Littman","year":"2001","unstructured":"Littman, M.L., Majercik, S.M., Pitassi, T.: Stochastic boolean satisfiability. J. Autom. Reason. 27(3), 251\u2013296 (2001)","journal-title":"J. Autom. Reason."},{"unstructured":"Majercik, S.M.: Stochastic boolean satisfiability. In: Biere et\u00a0al. [7], chap.\u00a027, pp. 887\u2013925","key":"2_CR28"},{"key":"2_CR29","first-page":"86","volume":"98","author":"SM Majercik","year":"1998","unstructured":"Majercik, S.M., Littman, M.L.: Maxplan: a new approach to probabilistic planning. AIPS 98, 86\u201393 (1998)","journal-title":"AIPS"},{"unstructured":"Majercik, S.M., Littman, M.L.: Contingent planning under uncertainty via stochastic satisfiability. In: AAAI\/IAAI, pp. 549\u2013556 (1999)","key":"2_CR30"},{"issue":"1","key":"2_CR31","first-page":"148","volume":"141","author":"C McDiarmid","year":"1989","unstructured":"McDiarmid, C.: On the method of bounded differences. Surv. Comb. 141(1), 148\u2013188 (1989)","journal-title":"Surv. Comb."},{"key":"2_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8122-8","volume-title":"Simultaneous Statistical Inference","author":"RG Miller","year":"1981","unstructured":"Miller, R.G.: Simultaneous Statistical Inference. Springer, New York (1981)"},{"issue":"2","key":"2_CR33","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/0022-0000(85)90045-5","volume":"31","author":"CH Papadimitriou","year":"1985","unstructured":"Papadimitriou, C.H.: Games against nature. J. Comput. Syst. Sci. 31(2), 288\u2013301 (1985)","journal-title":"J. Comput. Syst. Sci."},{"unstructured":"Ravn, A.P., Rischel, H.: Requirements capture for embedded real-time systems. In: Proceedings of IMACS-MCTS\u201991 Symposium on Modelling and Control of Technological Systems, Villeneuve d\u2019Ascq, France, 7\u201310 May, vol. 2, pp. 147\u2013152. IMACS (1991)","key":"2_CR34"},{"doi-asserted-by":"crossref","unstructured":"Sproston, J.: Decidable model checking of probabilistic hybrid automata. In: Joseph, M. (ed.) Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol. 1926, pp. 31\u201345. Springer, New York (2000)","key":"2_CR35","DOI":"10.1007\/3-540-45352-0_5"},{"unstructured":"Sproston, J.: Model checking for probabilistic timed and hybrid systems. Ph.D. thesis, University of Birmingham (2001)","key":"2_CR36"},{"unstructured":"Teige, T.: Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems. Ph.D. thesis, Universit\u00e4t Oldenburg (2012)","key":"2_CR37"},{"doi-asserted-by":"crossref","unstructured":"Teige, T., Fr\u00e4nzle, M.: Stochastic satisfiability modulo theories for non-linear arithmetic. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 248\u2013262. Springer, New York (2008)","key":"2_CR38","DOI":"10.1007\/978-3-540-68155-7_20"},{"issue":"1","key":"2_CR39","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1002\/wics.56","volume":"2","author":"ST Tokdar","year":"2010","unstructured":"Tokdar, S.T., Kass, R.E.: Importance sampling: a review. Wiley Interdiscip. Rev.: Comput. Stat. 2(1), 54\u201360 (2010)","journal-title":"Wiley Interdiscip. Rev.: Comput. Stat."},{"unstructured":"Tseitin, G.: On the complexity of derivations in propositional calculus. In: Studies in Constructive Mathematics and Mathematical Logics (1968)","key":"2_CR40"},{"key":"2_CR41","volume-title":"Statistical Learning Theory","author":"VN Vapnik","year":"1998","unstructured":"Vapnik, V.N.: Statistical Learning Theory, vol. 1. Wiley, New York (1998)"},{"doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Computer Aided Verification, 14th International Conference, CAV 2002, Copenhagen, Denmark, 27\u201331 July 2002, Proceedings, pp. 223\u2013235 (2002)","key":"2_CR42","DOI":"10.1007\/3-540-45657-0_17"},{"doi-asserted-by":"crossref","unstructured":"Zhang, L., She, Z., Ratschan, S., Hermanns, H., Hahn, E.M.: Safety verification for probabilistic hybrid systems. In: Proceedings of the 22nd International Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 6174, pp. 196\u2013211. Springer, New York (2010)","key":"2_CR43","DOI":"10.1007\/978-3-642-14295-6_21"},{"doi-asserted-by":"crossref","unstructured":"Zhang, Y., Sankaranarayanan, S., Somenzi, F.: Statistically sound verification and optimization for complex systems. In: Cassez, F., Raskin, J.F. (eds.) Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, vol. 8837, pp. 411\u2013427. Springer, New York (2014)","key":"2_CR44","DOI":"10.1007\/978-3-319-11936-6_29"}],"container-title":["NASA Monographs in Systems and Software Engineering","Provably Correct Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48628-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T02:16:05Z","timestamp":1568859365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48628-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319486277","9783319486284"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48628-4_2","relation":{},"ISSN":["1860-0131","2197-6597"],"issn-type":[{"type":"print","value":"1860-0131"},{"type":"electronic","value":"2197-6597"}],"subject":[],"published":{"date-parts":[[2017]]}}}