Talk:Timed automaton

Let's see what would be nice on this page: --Mstigge (talk) 14:41, 3 May 2012 (UTC)
 * Semantics
 * Example
 * UPPAAL screenshot?
 * Region graph, zones?
 * Extensions:
 * Stopwatches
 * Task Automata
 * Priced Timed Automata
 * Timed Games