Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. In Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis, editors, PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Volume 8291 of Lecture Notes in Computer Science, pages 355-371, Springer, 2013. [doi]
Abstract is missing.