Emptiness and Universality Problems in Timed Automata with Positive Frequency.

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amlie Stainer

Browse the full ICALP paper archive.