Wojciech Penczek, Laure Petrucci, Teofil Sidoruk. Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 17th International Conference on Agents and Artificial Intelligence, ICAART 2025 - Volume 1, Porto, Portugal, February 23-25, 2025. pages 144-155, SCITEPRESS, 2025. [doi]
Abstract is missing.