Adding Negative Prices to Priced Timed Games.

Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi

Browse the full CONCUR paper archive.