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