TY  - RPRT
TI  - Certifying Emptiness of Timed Büchi Automata
AU  - Simon Wimmer
AU  - Frédéric Herbreteau
AU  - Jaco van de Pol
PY  - 2020
UR  - https://arxiv.org/abs/2007.04150
ID  - 2007.04150
ER  -