Login / Signup

A Faster Algorithm for Solving One-Clock Priced Timed Games.

Thomas Dueholm HansenRasmus Ibsen-JensenPeter Bro Miltersen
Published in: CONCUR (2013)
Keyphrases