{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T03:54:21Z","timestamp":1772078061504,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540774181","type":"print"},{"value":"9783540774198","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-77419-8_7","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:55:56Z","timestamp":1196942156000},"page":"111-124","source":"Crossref","is-referenced-by-count":2,"title":["Deep Random Search for Efficient Model Checking of Timed Automata"],"prefix":"10.1007","author":[{"given":"Radu","family":"Grosu","sequence":"first","affiliation":[]},{"given":"Xiaowan","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Wenkai","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","first-page":"25","volume-title":"RTSS 1997","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Tripakis, S., Yovine, S.: On-the-fly symbolic model checking for real-time systems. In: RTSS 1997. 18th IEEE Real-Time Systems Symposium, San Francisco, CA, pp. 25\u201334. IEEE, Los Alamitos (1997)"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods in System Design\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods in System Design"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CAV 1991","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Yannakakis, M.: Minimum and maximum delay problems in real-time systems. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, Springer, Heidelberg (1992)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) Hybrid Systems III, Verification and Control. LNCS, vol.\u00a01066, pp. 208\u2013219. Springer, Heidelberg (1996)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"TACAS 2005","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":"7_CR8","unstructured":"Haslum, P.: Model checking by random walk. In: Proc.\u00a0of 1999 ECSEL Workshop (1999)"},{"key":"7_CR9","unstructured":"Havelund, K., Skou, A., Larsen, K.G., Lund, K.: Automated analysis of an audio control protocol. In: Proc. of 18th IEEE Real-Time Systems Symposium, San Francisco, California, USA, pp. 2\u201313 (December 1997)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-60045-0_64","volume-title":"Computer Aided Verification","author":"P.-H. Ho","year":"1995","unstructured":"Ho, P.-H., Wong-Toi, H.: Automated analysis of an audio control protocol. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 381\u2013394. Springer, Heidelberg (1995)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24732-6_10","volume-title":"Model Checking Software","author":"M. Jones","year":"2004","unstructured":"Jones, M., Mercer, E.: Explicit state model checking with Hopper. In: Graf, S., Mounier, L. (eds.) Model Checking Software. LNCS, vol.\u00a02989, Springer, Heidelberg (2004)"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O. Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Formal Methods in System Design\u00a019(3), 291\u2013314 (2001)","journal-title":"Formal Methods in System Design"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K., Petterson, P., Yi, W.: Uppaal in a nutshell. Software Tools for Technology Transfer\u00a01(1\/2) (October 1997)","DOI":"10.1007\/s100090050010"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","volume-title":"Proc. of Fundamentals of Computation Theory","author":"K.G. Larsen","year":"1995","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model checking for real-time systems. In: Reichel, H. (ed.) FCT 1995. LNCS, vol.\u00a0965, pp. 62\u201388. Springer, Heidelberg (1995)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-58179-0_49","volume-title":"Computer Aided Verification","author":"M. Mihail","year":"1994","unstructured":"Mihail, M., Papadimitriou, C.H.: On the random walk method for protocol testing. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 132\u2013141. Springer, Heidelberg (1994)"},{"key":"7_CR16","first-page":"98","volume-title":"FMICS 2005","author":"R. Pel\u00e1nek","year":"2005","unstructured":"Pel\u00e1nek, R., Han\u017el, T., \u010cern\u00e1, I., Brim, L.: Enhancing random walk state space exploration. In: FMICS 2005. Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pp. 98\u2013105. ACM Press, New York (2005)"},{"key":"7_CR17","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"2002","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2002)","edition":"2"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10703-005-1632-8","volume":"26","author":"S. Tripakis","year":"2005","unstructured":"Tripakis, S., Yovine, S., Bouajjani, A.: Checking timed B\u00fcchi automata emptiness efficiently. Formal Methods in System Design\u00a026(3), 267\u2013292 (2005)","journal-title":"Formal Methods in System Design"},{"key":"7_CR19","unstructured":"Tronci, E.G., Penna, D., Intrigila, B., Venturini, M.: A probabilistic approach to automatic verification of concurrent systems. In: APSEC. Proc.\u00a0of 8th IEEE Asia-Pacific Software Engineering Conference (2001)"}],"container-title":["Lecture Notes in Computer Science","Composition of Embedded Systems. Scientific and Industrial Issues"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77419-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:28:29Z","timestamp":1558279709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77419-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540774181","9783540774198"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77419-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}