Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak. SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1, Online Streaming, February 3-5, 2022. pages 345-352, SCITEPRESS, 2022. [doi]
Abstract is missing.