Title: BDD- versus SAT-based Bounded Model Checking for the Existential Fragment of Linear Temporal Logic with Knowledge: Algorithms and their Performance
Authors: Artur Męski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny.
Journal: Journal of Autonomous Agents and Multi-Agent Systems
Publication type: article
DOI: 10.1007/s10458-013-9232-2