Title: SAT-based Bounded Model Checking for Deontic Interleaved Interpreted Systems
Authors: 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_54