Template-Based Controller Synthesis for Timed Systems.

Bernd Finkbeiner, Hans-Jrg Peter

Browse the full TACAS paper archive.