Title: Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge
Authors: Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
Journal: The 6th International KES Conference on Agents and Multi-agent Systems - Technologies and Applications (KES-AMSTA)
Publication type: conference
DOI: 10.1007/978-3-642-30947-2_56