Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. In Hoa Khanh Dam, Jeremy V. Pitt, Yang Xu, Guido Governatori, Takayuki Ito, editors, PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Volume 8861 of Lecture Notes in Computer Science, pages 107-115, Springer, 2014. [doi]
Abstract is missing.