{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:34:36Z","timestamp":1759336476582,"version":"3.40.4"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,8,3]],"date-time":"2014-08-03T00:00:00Z","timestamp":1407024000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10009-014-0329-y","type":"journal-article","created":{"date-parts":[[2014,8,2]],"date-time":"2014-08-02T08:28:04Z","timestamp":1406968084000},"page":"485-504","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains"],"prefix":"10.1007","volume":"17","author":[{"given":"Christian","family":"Ellen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Gerwinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,3]]},"reference":[{"key":"329_CR1","doi-asserted-by":"crossref","unstructured":"Groote, J.F., van Vlijmen, Sebastiaan F.M., Koorn, Jan W.C.: The safety guaranteeing system at station hoorn-kersenboogerd. In: Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS), IEEE, pp 57\u201368 (1995)","DOI":"10.1109\/CMPASS.1995.521887"},{"issue":"2","key":"329_CR2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.entcs.2004.12.022","volume":"119","author":"G Audemard","year":"2005","unstructured":"Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with mathsat. Electron Notes Theor Comput Sci 119(2), 17\u201332 (2005)","journal-title":"Electron Notes Theor Comput Sci"},{"key":"329_CR3","unstructured":"Sproston, J.: Model checking for probabilistic timed and hybrid systems. Ph.D. thesis, School of Computer Science, The University of Birmingham (2001)"},{"key":"329_CR4","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.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 4981, pp. 172\u2013186. Springer, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78929-1_13"},{"issue":"3","key":"329_CR5","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."},{"issue":"2","key":"329_CR6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.nahs.2010.04.009","volume":"5","author":"T Teige","year":"2011","unstructured":"Teige, T., Eggers, A., Fr\u00e4nzle, M.: Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Nonlinear Anal. Hybrid Syst. 5(2), 343\u2013366 (2011)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"329_CR7","doi-asserted-by":"crossref","unstructured":"Ellen, C., Gerwinn, S., Fr\u00e4nzle, M.: Confidence bounds for statistical model checking of probabilistic hybrid systems. In: Proceedings of Formal Modeling and Analysis of Timed Systems, Springer, Heidelberg, pp. 123\u2013138 (2012)","DOI":"10.1007\/978-3-642-33365-1_10"},{"key":"329_CR8","doi-asserted-by":"crossref","unstructured":"Kocsis, L., Szepesv\u00e1ri, C.: Bandit based monte-carlo planning. In: Proceedings of Machine Learning: ECML, Springer, Berlin, Heidelberg, pp. 282\u2013293 (2006)","DOI":"10.1007\/11871842_29"},{"key":"329_CR9","doi-asserted-by":"crossref","unstructured":"Blom, H.A.P., Lygeros, J., (eds.): Stochastic Hybrid Systems: Theory and Safety Critical Applications, vol. 337. Springer, Heidelberg (2006)","DOI":"10.1007\/11587392"},{"key":"329_CR10","first-page":"1655","volume":"12","author":"S Bubeck","year":"2011","unstructured":"Bubeck, S., Munos, R., Stoltz, G., Szepesvari, C.: X-armed bandits. J. Mach. Learn. Res. 12, 1655\u20131695 (2011)","journal-title":"J. Mach. Learn. Res."},{"issue":"3","key":"329_CR11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10703-006-0031-0","volume":"30","author":"M Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C.: HySAT: an efficient proof engine for bounded model checking of hybrid systems. Form. Methods Syst. Des. 30(3), 179\u2013198 (2007)","journal-title":"Form. Methods Syst. Des."},{"key":"329_CR12","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: Caccamo, M., Frazzoli, E., Grosu, R. (eds.) HSCC, ACM, pp 43\u201352 (2011)","DOI":"10.1145\/1967701.1967710"},{"issue":"1","key":"329_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"329_CR14","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D. (eds) Computer Aided Verification, Lecture Notes in Computer Science, vol. 3114. Springer, Berlin, Heidelberg, pp. 399\u2013401 (2004)","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"329_CR15","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S.: Ymer: a statistical model checker. In: Etessami, K., Rajamani, S. (eds.) Computer Aided Verification, Lecture Notes in Computer Science. vol. 3576. Springer, Berlin, Heidelberg, pp 171\u2013179 (2005)","DOI":"10.1007\/11513988_43"},{"key":"329_CR16","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K., Legay, A., Miku\u010dionis, M., Poulsen, D., van Vliet, J., Wang, Z.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science, vol. 6919. Springer, Berlin, Heidelberg, pp. 80\u201396, (2011)","DOI":"10.1007\/978-3-642-24310-3_7"},{"key":"329_CR17","doi-asserted-by":"crossref","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to stateflow\/simulink verification. In: Johansson, K.H., Wang Y. (eds.) Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, ACM, Stockholm, Sweden, pp. 243\u2013252 (2010)","DOI":"10.1145\/1755952.1755987"},{"key":"329_CR18","doi-asserted-by":"crossref","unstructured":"Henriques, D., Martins, J.G., Zuliani, P., Platzer, A., Clarke, E.M.: Statistical model checking for markov decision processes. In: Proceedings of Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on IEEE, pp. 84\u201393, (2012)","DOI":"10.1109\/QEST.2012.19"},{"key":"329_CR19","doi-asserted-by":"crossref","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. J. Satisf. Boolean Model. Comput. 1(3\u20134), 209\u2013236 (2007)","DOI":"10.3233\/SAT190012"},{"issue":"2","key":"329_CR20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1013689704352","volume":"47","author":"P Auer","year":"2002","unstructured":"Auer, P., Cesa-Bianchi, N., Fischer, P.: Finite-time analysis of the multiarmed bandit problem. Mach. Learn. 47(2), 235\u2013256 (2002)","journal-title":"Mach. Learn."},{"key":"329_CR21","doi-asserted-by":"crossref","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58(301), 13\u201330 (1963)","DOI":"10.1080\/01621459.1963.10500830"},{"key":"329_CR22","doi-asserted-by":"crossref","unstructured":"Audibert, J.-Y., Bubeck, S., Munos R.: Bandit view on noisy optimization. In: Prfoceedings of Optimization for Machine Learning, MIT Press, pp 1\u201323 (2011)","DOI":"10.7551\/mitpress\/8996.003.0018"},{"key":"329_CR23","unstructured":"Maron, O., Moore, A.W.: Hoeffding races: accelerating model selection search for classification and function approximation. In: Cowan, J.D., Tesauro, G., Alspector, J. (eds.) Advances in Neural Information Processing Systems 6. Morgan-Kaufmann, Burlington, MA, pp. 59\u201366 (1994)"},{"issue":"11","key":"329_CR24","doi-asserted-by":"crossref","first-page":"2688","DOI":"10.1109\/TAC.2011.2160595","volume":"56","author":"A Abate","year":"2011","unstructured":"Abate, A., D\u2019Innocenzo, A., Di Benedetto, M.D.: Approximate abstractions of stochastic hybrid systems. Autom. Control IEEE Trans. 56(11), 2688\u20132694 (2011)","journal-title":"Autom. Control IEEE Trans."},{"key":"329_CR25","unstructured":"Hahn, E.M..: Model checking stochastic hybrid systems. dissertation, Universit\u00e4t des Saarlandes (2013)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0329-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0329-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0329-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T01:49:00Z","timestamp":1746323340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0329-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,3]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["329"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0329-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,8,3]]}}}