Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1671-1672, ACM, 2015. [doi]
Abstract is missing.