{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T22:09:59Z","timestamp":1780610999170,"version":"3.54.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/icsai.2014.7009336","type":"proceedings-article","created":{"date-parts":[[2015,1,19]],"date-time":"2015-01-19T21:37:49Z","timestamp":1421703469000},"page":"482-491","source":"Crossref","is-referenced-by-count":1,"title":["Development of probabilistic timed CEGAR"],"prefix":"10.1109","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Takaya","family":"Shimizu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"53","article-title":"Automated verification techniques for probabilistic systems","author":"forejt","year":"2011","journal-title":"LNCS 6659"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.005"},{"key":"23","year":"0"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36494-3_54"},{"key":"15","first-page":"151","article-title":"Heuristics for probabilistic timed automata with abstraction refinement","author":"fioriti","year":"2012","journal-title":"LNCS 7201"},{"key":"16","first-page":"87","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2004","journal-title":"LNCS 3098"},{"key":"13","first-page":"499","article-title":"Model checking of probabilistic and nondeterministic systems","author":"bianco","year":"1995","journal-title":"LNCS 1026"},{"key":"14","first-page":"162","article-title":"Probabilistic CEGAR","author":"hermanns","year":"2008","journal-title":"LNCS 5123"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_8"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_41"},{"key":"2","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"1","first-page":"72","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"LNCS 1254"},{"key":"10","first-page":"218","article-title":"Predicate abstraction for dense real-time systems","volume":"65","author":"moller","year":"2002","journal-title":"ENTCS"},{"key":"7","first-page":"169","article-title":"Symbolic computation of maximal probabilistic reachability","author":"kwiatkowska","year":"2001","journal-title":"LNCS 2154"},{"key":"6","article-title":"Symbolic model checking of probabilistic timed automata using backwards reachability","author":"kwiatkowska","year":"2000","journal-title":"School of Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"4","first-page":"8","article-title":"Timed automata","author":"alur","year":"1999","journal-title":"CAV99 1633 of LNCS"},{"key":"9","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"LNCS 1855"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.01.004"}],"event":{"name":"2014 2nd International Conference on Systems and Informatics (ICSAI)","location":"Shanghai, China","start":{"date-parts":[[2014,11,15]]},"end":{"date-parts":[[2014,11,17]]}},"container-title":["The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994954\/7009247\/07009336.pdf?arnumber=7009336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:21:09Z","timestamp":1490304069000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7009336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icsai.2014.7009336","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}