TY  - RPRT
TI  - Efficient Emptiness Check for Timed Büchi Automata (Extended version)
AU  - Frédéric Herbreteau
AU  - B. Srivathsan
AU  - Igor Walukiewicz
PY  - 2020
DO  - 10.1007/s10703-011-0133-1
UR  - https://arxiv.org/abs/1104.1540
ID  - 1104.1540
ER  -