{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:36:01Z","timestamp":1784241361031,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,25]],"date-time":"2005-07-25T00:00:00Z","timestamp":1122249600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,25]]},"DOI":"10.1145\/1082473.1082498","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"165-172","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Bounded model checking for knowledge and real time"],"prefix":"10.1145","author":[{"given":"Bozena","family":"Wo\u017ana","sequence":"first","affiliation":[{"name":"UCL, Gower Street, London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[{"name":"UCL, Gower Street, London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[{"name":"Institute of Computer, PAS, Ordona, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646244.684357"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646220.682203"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309942"},{"key":"e_1_3_2_1_5_1","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn P.","year":"2001","unstructured":"P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860641"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/265910.265912"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/332656"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/208454"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.410933"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645881.672227"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226297"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","volume-title":"Proc. of FAABS II","author":"Lomuscio A.","year":"2003","unstructured":"A. Lomuscio, T. Lasica, and W. Penczek. Bounded model checking for interpreted systems: preliminary experimental results. In Proc. of FAABS II, volume 2699 of LNCS. Springer Verlag, 2003.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/197917.198113"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/937485.937491"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"37","volume-title":"Proc. of ATPN'04","author":"Penczek W.","year":"2004","unstructured":"W. Penczek and A. P\u00f3lrola. Specification and model checking of temporal properties in time Petri nets and timed automata. In Proc. of ATPN'04, volume 3099 of LNCS, pp. 37--76. Springer-Verlag, 2004.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/608177.608185"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646847.707118"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018410.1018811"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646837.708360"},{"issue":"1","key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FUN-2004-63104","article-title":"Bounded Model Checking for the universal fragment of CTL*","volume":"63","author":"Wo\u017ana B.","year":"2004","unstructured":"B. Wo\u017ana. Bounded Model Checking for the universal fragment of CTL*. Fundamenta Informaticae, 63(1):65--87, 2004.]]","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11533092_1"},{"key":"e_1_3_2_1_26_1","series-title":"ENTCS","first-page":"93","volume-title":"Proc. of LCMAS'04","author":"Wo\u017ana B.","year":"2004","unstructured":"B. Wo\u017ana, A. Lomuscio, and W. Penczek. Bounded model checking for deontic interpreted systems. In Proc. of LCMAS'04, volume 126 of ENTCS, pp. 93--114. Elsevier, 2004.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1226781.1226808"}],"event":{"name":"AAMAS05: AAMAS '05 - Fourth International Joint Conference on Autonomous Agents and Multiagent Systems 2005","location":"The Netherlands","acronym":"AAMAS05","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082473.1082498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082473.1082498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:24:32Z","timestamp":1774373072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082473.1082498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,25]]},"references-count":27,"alternative-id":["10.1145\/1082473.1082498","10.1145\/1082473"],"URL":"https:\/\/doi.org\/10.1145\/1082473.1082498","relation":{},"subject":[],"published":{"date-parts":[[2005,7,25]]},"assertion":[{"value":"2005-07-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}