Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. In Matteo Cristani, Carlos Toro 0001, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, Verona, Italy and Virtual Event, 7-9 September 2022. Volume 207 of Procedia Computer Science, pages 532-541, Elsevier, 2022. [doi]
Abstract is missing.