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.
Published in: Journal of Autonomous Agents and Multi-Agent Systems
Publication type: article
Subject areas: Computer Science
SJR best quartile: Q2