{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:35:59Z","timestamp":1649147759509},"reference-count":18,"publisher":"International Academy Publishing (IAP)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.8.12.3272-3279","type":"journal-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T12:44:42Z","timestamp":1386161082000},"source":"Crossref","is-referenced-by-count":1,"title":["Counterexample Generation for Conditional Probability in Probabilistic Model Checking"],"prefix":"10.17706","volume":"8","author":[{"given":"Mingyu","family":"Ji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanmei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyan","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,12,1]]},"reference":[{"issue":"no. l2","key":"ref1","first-page":"1907","article-title":"Model checking: theories, techniques and applications","volume":"30","author":"Lin","year":"2002","unstructured":"[1] Huimin Lin and Wenhui Zhan, \"Model checking: theories, techniques and applications,\" Acta Electronica Sinica, vol. 30, no. l2, pp.1907-1912, 2002.","journal-title":"Acta Electronica Sinica"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.6.4.662-669"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.10.2503-2510"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.7.9.1941-1949"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.7.7.1462-1472"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1016.2010.01621"},{"key":"ref7","first-page":"197","article-title":"Generation of counterexamples for model checking of Markov decision processes","volume-title":"International Conference on the Quantitative Evaluation of Systems","author":"Aljazzar","year":"2009","unstructured":"[8] H. Aljazzar and S. Leue, \"Generation of counterexamples for model checking of Markov decision processes,\" International Conference on the Quantitative Evaluation of Systems, pp.197-206, 2009."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.002"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_21"},{"key":"ref10","first-page":"188","volume-title":"Short regular expressions from finite automata","author":"Gruber","year":"2009","unstructured":"[11] Gruber H, Holzer M and Tautschnig M, \"Short regular expressions from finite automata: empirical results,\" Implementation and Application of Automata, pp.188-197, 2009."},{"issue":"no. 3","key":"ref11","first-page":"241","article-title":"Counterexample generation in probabilistic model checking","volume":"35","author":"Han","year":"2009","unstructured":"[12] T. Han, J.-P. Katoen and B. Damman, \"Counterexample generation in probabilistic model checking,\" IEEE TSE, vol. 35, no. 3, pp.241-257, 2009.","journal-title":"IEEE TSE"},{"issue":"no. 10","key":"ref12","first-page":"1638","article-title":"Counterexample generation for probabilistic timed automata model checking","volume":"45","author":"Zhang","year":"2008","unstructured":"[13] Junhua Zhang, Zhiqiu Huang and Zining Cao, \"Counterexample generation for probabilistic timed automata model checking,\" Journal of Computer Research and Development, vol. 45, no. 10, pp.1638-1645, 2008.","journal-title":"J Comput Res Dev","ISSN":"http:\/\/id.crossref.org\/issn\/1000-1239","issn-type":"print"},{"issue":"no. 2","key":"ref13","first-page":"36","article-title":"Counterexample representation for probabilistic timed automata model checking","volume":"27","author":"Wang","year":"2011","unstructured":"[14] Jing Wang and Guangquan Zhang, \"Counterexample representation for probabilistic timed automata model checking,\" Journal of Soochow University(Natural Science Edition), vol. 27, no. 2, pp.36-43, 2011.","journal-title":"Journal of Soochow University"},{"key":"ref14","first-page":"157","volume-title":"Conditional probabilities over probabilistic and nondeterministic systems","author":"Andr\u00e9s","year":"2008","unstructured":"[15] Andr\u00e9s M E and Van Rossum P, \"Conditional probabilities over probabilistic and nondeterministic systems,\" Tools and Algorithms for the Construction and Analysis of Systems, pp.157-172, 2008."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2012.09.009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2012.04089"},{"key":"ref17","first-page":"280","volume-title":"Symbolic and parametric model checking of discrete-time Markov chains","author":"Daws","year":"2004","unstructured":"[19] Daws C., \"Symbolic and parametric model checking of discrete-time Markov chains,\" Theoretical Aspects of Computing-ICTAC, pp. 280-294, 2004."},{"key":"ref18","first-page":"179","article-title":"Regular expressions for PCTL counterexamples","volume":"08","author":"Damman","year":"2008","unstructured":"[20] Damman, Berteun, Tingting Han and J-P. Katoen, \"Regular expressions for PCTL counterexamples,\" Quantitative Evaluation of Systems, QEST'08, pp.179-188, 2008.","journal-title":"Quantitative Evaluation of Systems QEST"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:12:42Z","timestamp":1442315562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/11505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,1]]},"references-count":18,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2013,12,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.8.12.3272-3279","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,12,1]]}}}