"Combining Symbolic Representations for Solving Timed Games."

Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics