TY  - RPRT
TI  - Emptiness and Universality Problems in Timed Automata with Positive Frequency
AU  - Nathalie Bertrand
AU  - Patricia Bouyer
AU  - Thomas Brihaye
AU  - Amelie Stainer
PY  - 2013
UR  - https://arxiv.org/abs/1309.2842
ID  - 1309.2842
ER  -