Agnieszka M. Zbrzezny, Andrzej Zbrzezny. Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking. In Qingliang Chen, Paolo Torroni, Serena Villata, Jane Yung-jen Hsu, Andrea Omicini, editors, PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings. Volume 9387 of Lecture Notes in Computer Science, pages 660-669, Springer, 2015. [doi]
Abstract is missing.