Login / Signup
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.
Kozo Okano
Maiko Onishi
Jo Otsuka
Shinpei Ogata
Toshifusa Sekizawa
Keishi Okamoto
Daisuke Bekki
Published in:
KES (2022)
Keyphrases
</>
model checking
timed automata
model checker
temporal logic
formal verification
formal specification
symbolic model checking
transition systems
formal methods
fuzzy logic
web services
evolutionary algorithm
planning domains