{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:10Z","timestamp":1748664310200,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234847"},{"type":"electronic","value":"9783319234854"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23485-4_64","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T16:07:15Z","timestamp":1440432435000},"page":"638-650","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking"],"prefix":"10.1007","author":[{"given":"Agnieszka M.","family":"Zbrzezny","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Zbrzezny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"64_CR1","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (eds.) Handbook of Theoretical Computer Science, vol. B, chapter 16, pp. 996\u20131071. Elsevier Science Publishers (1999)"},{"key":"64_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"1\u20134","key":"64_CR3","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","volume":"85","author":"M Kacprzak","year":"2008","unstructured":"Kacprzak, M., Nabialek, W., Niewiadomski, A., Penczek, W., P\u00f3lrola, A., Szreter, M., Wo\u017ana, B., Zbrzezny, A.: VerICS 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae 85(1\u20134), 313\u2013328 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"64_CR4","unstructured":"Levesque, H.: A logic of implicit and explicit belief. In: Proceedings of the 6th National Conference of the AAAI, pp. 198\u2013202. Morgan Kaufman, Palo Alto (1984)"},{"issue":"1","key":"64_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica 75(1), 63\u201392 (2003)","journal-title":"Studia Logica"},{"key":"64_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"64_CR7","unstructured":"Wooldridge, M.: An introduction to multi-agent systems, 2nd edn. John Wiley & Sons (2009)"},{"key":"64_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-642-40669-0_38","volume-title":"Progress in Artificial Intelligence","author":"B Wo\u017ana-Szcze\u015bniak","year":"2013","unstructured":"Wo\u017ana-Szcze\u015bniak, B.: SAT-Based bounded model checking for weighted deontic interpreted systems. In: Reis, L.P., Correia, L., Cascalho, J. (eds.) EPIA 2013. LNCS, vol. 8154, pp. 444\u2013455. Springer, Heidelberg (2013)"},{"key":"64_CR9","unstructured":"Wo\u017ana-Szcze\u015bniak, B.: Checking EMTLK properties of timed interpreted systems via bounded model checking. In: Bazzan, A.L.C., Huhns, M.N., Lomuscio, A., Scerri, P. (eds.) International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014, Paris, France, May 5\u20139, pp. 1477\u20131478. IFAAMAS\/ACM (2014)"},{"key":"64_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-44927-7_24","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"B Wo\u017ana-Szcze\u015bniak","year":"2013","unstructured":"Wo\u017ana-Szcze\u015bniak, B., Zbrzezny, A.M., Zbrzezny, A.: SAT-Based bounded model checking for weighted interpreted systems and weighted linear temporal logic. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS, vol. 8291, pp. 355\u2013371. Springer, Heidelberg (2013)"},{"issue":"1\u20134","key":"64_CR11","doi-asserted-by":"crossref","first-page":"513","DOI":"10.3233\/FUN-2008-851-435","volume":"85","author":"A Zbrzezny","year":"2008","unstructured":"Zbrzezny, A.: Improving the translation from ECTL to SAT. Fundamenta Informaticae 85(1\u20134), 513\u2013531 (2008)","journal-title":"Fundamenta Informaticae"},{"issue":"3\u20134","key":"64_CR12","first-page":"377","volume":"120","author":"A Zbrzezny","year":"2012","unstructured":"Zbrzezny, A.: A new translation from ECTL$$^*$$ to SAT. Fundamenta Informaticae 120(3\u20134), 377\u2013397 (2012)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23485-4_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:03:57Z","timestamp":1748577837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23485-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234847","9783319234854"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23485-4_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}