{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:10Z","timestamp":1725487210402},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_22","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"313-327","source":"Crossref","is-referenced-by-count":7,"title":["Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piergiorgio","family":"Bertoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"22_CR1","unstructured":"B. Bonet and H. Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. In S. Chien, S. Kambhampati, and C.A. Knoblock, editors, 5th International Conference on Artificial Intelligence Planning and Scheduling, pages 52\u201361. AAAI-Press, April 2000."},{"key":"22_CR2","unstructured":"T. L. Booth. Sequential Machines and Automata Theory. J. Wiley, 1967."},{"issue":"8","key":"22_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"G. Cabodi, P. Camurati, and S. Quer. Improving symbolic traversals by means of activity profiles. In Proceedings of the 31st Conference on Design Automation, pages 306\u2013311, New York, NY, USA, June 21\u201325 1999. ACM Pres.","DOI":"10.1145\/309847.309938"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"A. Cimatti, E.M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT), 2(4), March 2000.","DOI":"10.1007\/s100090050046"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","volume":"13","author":"A. Cimatti","year":"2000","unstructured":"A. Cimatti and M. Roveri. Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research (JAIR), 13:305\u2013338, 2000.","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"F. Brglez, D. Bryan, and K. Kozminski. Combinational profiles of sequential benchmark circuits. In International Symposium on Circuits and Systems, May 1989.","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"22_CR8","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991."},{"key":"22_CR9","volume-title":"Switching and Finite Automata Theory","author":"Z. Kohavi","year":"1978","unstructured":"Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill Book Company, New York, 1978. ISBN 0-07-035310-7."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"22_CR11","unstructured":"D. Michie. Machine Intelligence at Edinburgh. In On Machine Intelligence, pages 143\u2013155. Edinburgh University Press, 1974."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"C. Pixley, S.-W. Jeong, and G. D. Hachtel. Exact calculation of synchronization sequences based on binary decision diagrams. In Proceedings of the 29th Conference on Design Automation, pages 620\u2013623, Los Alamitos, CA, USA, June 1992. IEEE Computer Society Press.","DOI":"10.1109\/DAC.1992.227811"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"J.-K. Rho, F. Somenzi, and C. Pixley. Minimum length synchronizing sequences of finite state machine. In ACM-SIGDA; IEEE, editor, Proceedings of the 30th ACM\/IEEE Design Automation Conference, pages 463\u2013468, Dallas, TX, June 1993. ACM Press.","DOI":"10.1145\/157485.164978"},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","volume":"10","author":"J. Rintanen","year":"1999","unstructured":"J. Rintanen. Constructing conditional plans by a theorem-prover. Journal of Artificial Intellegence Research, 10:323\u2013352, 1999.","journal-title":"Journal of Artificial Intellegence Research"},{"key":"22_CR15","unstructured":"David E. Smith and Daniel S. Weld. Conformant graphplan. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pages 889\u2013896, Menlo Park, July 26\u201330 1998. AAAI Press."},{"key":"22_CR16","unstructured":"S. Yang. Logic synthesis and optimization benchmarks user guide version 3.0. Technical report, Microelectronics Center of North Carolina, Research Triangle Park, January 1991."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T10:27:37Z","timestamp":1683973657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}