Alternating Timed Automata.

Slawomir Lasota, Igor Walukiewicz

Browse the full FOSSACS paper archive.