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]
@inproceedings{OkanoOOOSOB22, title = {A Bounded Model Checker for Timed Automata and Its Application to LTL Properties}, author = {Kozo Okano and Maiko Onishi and Jo Otsuka and Shinpei Ogata and Toshifusa Sekizawa and Keishi Okamoto and Daisuke Bekki}, year = {2022}, doi = {10.1016/j.procs.2022.09.108}, url = {https://doi.org/10.1016/j.procs.2022.09.108}, researchr = {https://researchr.org/publication/OkanoOOOSOB22}, cites = {0}, citedby = {0}, pages = {532-541}, booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, Verona, Italy and Virtual Event, 7-9 September 2022}, editor = {Matteo Cristani and Carlos Toro 0001 and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, volume = {207}, series = {Procedia Computer Science}, publisher = {Elsevier}, }