TY  - RPRT
TI  - Using non-convex approximations for efficient analysis of timed automata
AU  - Frédéric Herbreteau
AU  - Dileep Kini
AU  - B. Srivathsan
AU  - Igor Walukiewicz
PY  - 2011
DO  - 10.4230/lipics.fsttcs.2011.78
UR  - https://arxiv.org/abs/1110.3704
ID  - 1110.3704
ER  -