Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi. Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers. In Gordan Jezic, Yun-Heh Jessica Chen-Burger, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technology and Applications, 10th KES International Conference, KES-AMSTA 2016, Puerto de la Cruz, Tenerife, Spain, June 15-17, 2016, Proceedings. Volume 58 of Smart Innovation, Systems and Technologies, pages 45-55, Springer, 2016. [doi]
Abstract is missing.