Agnieszka M. Zbrzezny. Selected Methods of Model Checking using SAT and SMT-solvers: (Doctoral Consortium). In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 2021-2022, ACM, 2015. [doi]
Abstract is missing.