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
Published in: The 6th International KES Conference on Agents and Multi-agent Systems - Technologies and Applications (KES-AMSTA)
Publication type: conference
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2