Title: Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic
Authors: Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Journal: The 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)
Publication type: conference