{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:06:31Z","timestamp":1742396791710,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540450269"},{"type":"electronic","value":"9783540450313"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11867340_4","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T09:06:53Z","timestamp":1159175213000},"page":"33-51","source":"Crossref","is-referenced-by-count":20,"title":["Extended Directed Search for Probabilistic Timed Reachability"],"prefix":"10.1007","author":[{"given":"Husain","family":"Aljazzar","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison Wesley, Reading (2003)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-002-0104-3","volume":"5","author":"S. Edelkamp","year":"2004","unstructured":"Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer STTT\u00a05, 247\u2013267 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer STTT"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11603009_15","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"H. Aljazzar","year":"2005","unstructured":"Aljazzar, H., Hermanns, H., Leue, S.: Counterexamples for timed probabilistic reachability. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 177\u2013195. Springer, Heidelberg (2005)"},{"key":"4_CR4","volume-title":"Heuristics \u2013 Intelligent Search Strategies for Computer Problem Solving","author":"J. Pearl","year":"1986","unstructured":"Pearl, J.: Heuristics \u2013 Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley, Reading (1986)"},{"key":"4_CR5","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W. Feller","year":"1968","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. John Wiley & Sons, Chichester (1968)"},{"key":"4_CR6","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, New Jersey (1994)"},{"key":"4_CR7","volume-title":"Modeling and analysis of stochastic systems","author":"V.G. Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and analysis of stochastic systems. Chapman & Hall, Ltd., London (1995)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-46419-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.P., Meyer-Kayser, J., Siegle, M.: A markov chain model checker. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 347\u2013362. Springer, Heidelberg (2000)"},{"key":"4_CR10","first-page":"243","volume":"0","author":"J.P. Katoen","year":"2005","unstructured":"Katoen, J.P., Khattri, M., Zapreev, I.S.: A markov reward model checker. Qest\u00a00, 243\u2013244 (2005)","journal-title":"Qest"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Asp. Comput.\u00a06, 512\u2013535 (1994)","journal-title":"Formal Asp. Comput."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time markov chains. ACM Trans. Comput. Logic\u00a01, 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transions on Software Engineering 29 (2003)","DOI":"10.1109\/TSE.2003.1205180"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Monte carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 271\u2013286. Springer, Heidelberg (2005)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 223\u2013235. Springer, Heidelberg (2002)"},{"key":"4_CR17","volume-title":"Data Structures and Algorithms in Java","author":"M. Goodrich","year":"2000","unstructured":"Goodrich, M., Tamassia, R.: Data Structures and Algorithms in Java, 2nd edn. John Wiley & Sons, Inc., New York (2000)","edition":"2"},{"key":"4_CR18","unstructured":"JDSL Web Page: http:\/\/www.cs.brown.edu\/cgc\/jdsl\/"},{"key":"4_CR19","unstructured":"Aljazzar, H., Leue, S.: Extended directed search for probabilistic timed reachability. Technical Report soft-06-03, Chair for Software Engineering, University of Konstanz, Gemany (2006), URL: http:\/\/www.inf.uni-konstanz.de\/soft\/research\/publications\/pdf\/soft-06-03.pdf"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Haverkort, B.R., Hermanns, H., Katoen, J.P.: On the use of model checking techniques for dependability evaluation. In: SRDS, pp. 228\u2013237 (2000)","DOI":"10.1109\/RELDI.2000.885410"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11867340_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T23:57:51Z","timestamp":1736553471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11867340_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540450269","9783540450313"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11867340_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}