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