Bozena Wozna-Szczesniak. SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract). In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 281-292, CEUR-WS.org, 2014. [doi]
Abstract is missing.