{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:23:00Z","timestamp":1742948580417,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"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-68690-5_23","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"379-395","source":"Crossref","is-referenced-by-count":4,"title":["Improving Probability Estimation Through Active Probabilistic Model Learning"],"prefix":"10.1007","author":[{"given":"Jingyi","family":"Wang","sequence":"first","affiliation":[]},{"given":"Xiaohong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"23_CR1","unstructured":"http:\/\/itrust.sutd.edu.sg\/research\/testbeds\/secure-water-treatment-swat\/"},{"key":"23_CR2","unstructured":"Linear programming \u2013 Wikipedia, the free encyclopedia (2016). Accessed 24 Nov 2016"},{"key":"23_CR3","unstructured":"Mean squared error \u2013 Wikipedia, the free encyclopedia (2016). Accessed 7 Dec 2016"},{"issue":"2","key":"23_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"23_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P., et al.: Principles of Model Checking, vol. 26202649. MIT Press, Cambridge (2008)"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.spl.2014.07.009","volume":"94","author":"F Barsotti","year":"2014","unstructured":"Barsotti, F., De Castro, Y., Espinasse, T., Rochet, P.: Estimating the transition matrix of a markov chain observed at random times. Stat. Probab. Lett. 94, 98\u2013105 (2014)","journal-title":"Stat. Probab. Lett."},{"key":"23_CR7","unstructured":"Brinker, K.: Incorporating diversity in active learning with support vector machines. In: Machine Learning, Proceedings of the Twentieth International Conference (ICML 2003), 21\u201324 August 2003, Washington, DC, USA, pp. 59\u201366 (2003)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Y., Nielsen, T.D.: Active learning of markov decision processes for system verification. In: 2012 11th International Conference on Machine Learning and Applications (ICMLA), vol. 2, pp. 289\u2013294. IEEE (2012)","DOI":"10.1109\/ICMLA.2012.158"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-204750-3.50008-3","volume-title":"Contributions to Survey Sampling and Applied Statistics","author":"G Cochran","year":"1978","unstructured":"Cochran, G.: Laplace\u2019s ratio estimator. In: David, H.A. (ed.) Contributions to Survey Sampling and Applied Statistics, pp. 3\u201310. Academic Press, New York (1978)"},{"issue":"3","key":"23_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1080\/09296179508590051","volume":"2","author":"WA Gale","year":"1995","unstructured":"Gale, W.A., Sampson, G.: Good-turing frequency estimation without tears*. J. Quant. Linguist. 2(3), 217\u2013237 (1995)","journal-title":"J. Quant. Linguist."},{"key":"23_CR11","unstructured":"Gurobi Optimization Incorporation: Gurobi optimizer reference manual (2016)"},{"issue":"1","key":"23_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/203091.203094","volume":"5","author":"P Heidelberger","year":"1995","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul. (TOMACS) 5(1), 43\u201385 (1995)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"issue":"8","key":"23_CR13","doi-asserted-by":"crossref","first-page":"1989","DOI":"10.1016\/j.automatica.2014.05.012","volume":"50","author":"K Lesser","year":"2014","unstructured":"Lesser, K., Oishi, M.: Reachability for partially observable discrete time stochastic hybrid systems. Automatica 50(8), 1989\u20131998 (2014)","journal-title":"Automatica"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Mao, H., Chen, Y., Jaeger, M., Nielsen, T.D., Larsen, K.G., Nielsen, B.: Learning probabilistic automata for model checking. In: Eighth International Conference on Quantitative Evaluation of Systems (QEST), pp. 111\u2013120. IEEE (2011)","DOI":"10.1109\/QEST.2011.21"},{"key":"23_CR15","unstructured":"McAllester, D.A., Schapire, R.E.: On the convergence rate of good-turing estimators. In: COLT, pp. 1\u20136 (2000)"},{"issue":"6","key":"23_CR16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/79.543975","volume":"13","author":"TK Moon","year":"1996","unstructured":"Moon, T.K.: The expectation-maximization algorithm. IEEE Sig. Proces. Mag. 13(6), 47\u201360 (1996)","journal-title":"IEEE Sig. Proces. Mag."},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/11591191_28","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D Tabakov","year":"2005","unstructured":"Tabakov, D., Vardi, M.Y.: Experimental evaluation of classical automata constructions. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 396\u2013411. Springer, Heidelberg (2005). doi:\n10.1007\/11591191_28"},{"key":"23_CR18","unstructured":"Wang, J., Sun, J., Qin, S.: Verifying complex systems probabilistically through learning, abstraction and refinement. arXiv preprint \narXiv:1610.06371\n\n (2016)"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-54494-5_1","volume-title":"Fundamental Approaches to Software Engineering","author":"J Wang","year":"2017","unstructured":"Wang, J., Sun, J., Yuan, Q., Pang, J.: Should we learn probabilistic models for model checking? a new approach and an empirical study. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 3\u201321. Springer, Heidelberg (2017). doi:\n10.1007\/978-3-662-54494-5_1"},{"issue":"10","key":"23_CR20","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"JA Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812\u2013824 (1994)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:21:07Z","timestamp":1507796467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}