@inproceedings{BrihayeGeeraertsNarayananManasaMonmegeTrivedi:2014,
    Author = {Brihaye, Thomas and Geeraerts, Gilles and Narayanan Krishna, Shankara and Manasa, Lakshmi and Monmege, Benjamin and Trivedi, Ashutosh},
    BookTitle = {Proc. of CONCUR'14},
    Editor = {Baldan, Paolo and Gorla, Daniele},
    File = {Adding Negative Prices to Priced Timed Games - Brihaye, Geeraerts, Narayanan Krishna, Manasa, Monmege, Trivedi (0) (0) - a - a - g.pdf},
    ISBN = {978-3-662-44583-9},
    Language = {English},
    Pages = {560--575},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Adding Negative Prices to Priced Timed Games},
    URL = {http://dx.doi.org/10.1007/978-3-662-44584-6\_38},
    Volume = {8704},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6\_38},
    date-added = {2014-08-28 19:51:08 +0000},
    date-modified = {2020-02-06 19:08:49 +0100},
    file-2 = {Adding Negative Prices to Priced Timed Games - Brihaye, Geeraerts, Narayanan Krishna, Manasa, Monmege, Trivedi (1) (0) - a - a - g.pdf},
    doi = {10.1007/978-3-662-44584-6_38}
}

@inproceedings{BrihayeGeeraertsNarayananManasaMonmegeTrivedi:2014, Author = {Brihaye, Thomas and Geeraerts, Gilles and Narayanan Krishna, Shankara and Manasa, Lakshmi and Monmege, Benjamin and Trivedi, Ashutosh}, BookTitle = {Proc. of CONCUR'14}, Editor = {Baldan, Paolo and Gorla, Daniele}, File = {Adding Negative Prices to Priced Timed Games - Brihaye, Geeraerts, Narayanan Krishna, Manasa, Monmege, Trivedi (0) (0) - a - a - g.pdf}, ISBN = {978-3-662-44583-9}, Language = {English}, Pages = {560--575}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Adding Negative Prices to Priced Timed Games}, URL = {http://dx.doi.org/10.1007/978-3-662-44584-6_38}, Volume = {8704}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6_38}, date-added = {2014-08-28 19:51:08 +0000}, date-modified = {2020-02-06 19:08:49 +0100}, file-2 = {Adding Negative Prices to Priced Timed Games - Brihaye, Geeraerts, Narayanan Krishna, Manasa, Monmege, Trivedi (1) (0) - a - a - g.pdf}, doi = {10.1007/978-3-662-44584-6_38} }