A Game Approach to Determinize Timed Automata.

Nathalie Bertrand, Amlie Stainer, Thierry Jron, Moez Krichen

Browse the full FOSSACS paper archive.