Bozena Wozna-Szczesniak, Andrzej Zbrzezny. SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Volume 7784 of Lecture Notes in Computer Science, pages 170-189, Springer, 2012. [doi]
Abstract is missing.