research
∙
07/15/2022
Zone-based verification of timed automata: extrapolations, simulations and what next?
Timed automata have been introduced by Rajeev Alur and David Dill in the...
share
research
∙
07/08/2020
Certifying Emptiness of Timed Büchi Automata
Model checkers for timed automata are widely used to verify safety-criti...
research
∙
07/04/2019
