Emptiness and Universality Problems in Timed Automata with Positive Frequency

TitleEmptiness and Universality Problems in Timed Automata with Positive Frequency
Publication TypeJournal Article
Year of Publication2013
AuthorsBertrand, N, Bouyer P, Brihaye T, Stainer A
JournalCoRR
Volumeabs/1309.2842
URLhttp://arxiv.org/abs/1309.2842