{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T11:03:23Z","timestamp":1791111803630,"version":"4.1.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348029","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"146-155","source":"Crossref","is-referenced-by-count":29,"title":["Learning continuous time Markov chains from sample executions"],"prefix":"10.1109","author":[{"given":"K.","family":"Sen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Agha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1142\/9789812797902_0004","article-title":"Inferring regular languages in polynomial update time","volume":"1","author":"oncina","year":"1992","journal-title":"Series in Machine Perception and Artificial Intelligence"},{"key":"22","author":"stewart","year":"1994","journal-title":"Introduction to the Numerical Solution of Markov Chains"},{"key":"17","first-page":"200","article-title":"PRISM: Probabilistic symbolic model checker","volume":"2324","author":"kwiatkowska","year":"0","journal-title":"LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(02)00122-0"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1002\/0471725234","author":"nelson","year":"1982","journal-title":"Applied Life Data Analysis"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_4"},{"key":"15","author":"hogg","year":"1978","journal-title":"Introduction to Mathematical Statistics"},{"key":"16","article-title":"Stochastic grammatical inference with multinomial tests","volume":"2484","author":"kermorvant","year":"2002","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"13","article-title":"Multi-terminal binary decision diagrams to represent and analyse continuous-time Markov chains","author":"hermanns","year":"1999","journal-title":"Numerical Solutions of Markov Chains (NSMC'99)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s100090100072","article-title":"A tool for model-checking Markov chains","volume":"4","author":"hermanns","year":"2003","journal-title":"Software Tools for Technology Transfer"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27813-9_16","article-title":"Statistical model checking of black-box probabilistic systems","author":"sen","year":"2004","journal-title":"16th Conference on Computer Aided Verification (CAV'04)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45694-5_23"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1555"},{"key":"2","first-page":"358","article-title":"Model checking continuous-time Markov chains by transient analysis","volume":"1855","author":"baier","year":"2000","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/0470841923"},{"key":"7","first-page":"331","article-title":"Learning assumptions for compositional verification","volume":"2619","author":"cobleigh","year":"0","journal-title":"LNCS"},{"key":"6","article-title":"Learning stochastic regular grammars by means of a state merging method","volume":"862","author":"carrasco","year":"1994","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177697196"},{"key":"4","author":"balbo","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"9","first-page":"357","article-title":"Adaptive model checking","volume":"2280","author":"groce","year":"2002","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"}],"event":{"name":"First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.","location":"Enschede, Netherlands","start":{"date-parts":[[2004,11,12]]},"end":{"date-parts":[[2004,11,12]]}},"container-title":["First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9341\/29678\/01348029.pdf?arnumber=1348029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T04:09:31Z","timestamp":1545192571000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348029","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}