Login / Signup

Combining Symbolic Representations for Solving Timed Games.

Rüdiger EhlersRobert MattmüllerHans-Jörg Peter
Published in: FORMATS (2010)
Keyphrases