A Bounded Model Checker for Timed Automata and Its Application to LTL Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kozo Okano' in GoogleThis author has not been identified. Look up 'Maiko Onishi' in GoogleThis author has not been identified. Look up 'Jo Otsuka' in GoogleThis author has not been identified. Look up 'Shinpei Ogata' in GoogleThis author has not been identified. Look up 'Toshifusa Sekizawa' in GoogleThis author has not been identified. Look up 'Keishi Okamoto' in GoogleThis author has not been identified. Look up 'Daisuke Bekki' in Google

runs on WebDSL