Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem.

Martin Dickhfer, Thomas Wilke

Browse the full ICALP paper archive.