{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:15Z","timestamp":1760202675408,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T00:00:00Z","timestamp":1397520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ICT Centre of Excellence Program"},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["279499"],"award-info":[{"award-number":["279499"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,15]]},"DOI":"10.1145\/2562059.2562116","type":"proceedings-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T17:50:00Z","timestamp":1397238600000},"page":"283-292","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Energy and mean-payoff timed games"],"prefix":"10.1145","author":[{"given":"Romain","family":"Brenguier","sequence":"first","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]},{"given":"Franck","family":"Cassez","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}]},{"given":"Jean-Fran\u00e7ois","family":"Raskin","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2014,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","volume-title":"HSCC","author":"Alur R.","year":"2001","unstructured":"R. Alur , S. La Torre , and G. J. Pappas . Optimal paths in weighted timed automata . In HSCC , volume 2034 of LNCS . Springer , 2001 . R. Alur, S. La Torre, and G. J. Pappas. Optimal paths in weighted timed automata. In HSCC, volume 2034 of LNCS. Springer, 2001."},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","volume-title":"Uppaal-tiga: Time for playing games! In CAV","author":"Behrmann G.","year":"2007","unstructured":"G. Behrmann , A. Cougnard , A. David , E. Fleury , K. G. Larsen , and D. Lime . Uppaal-tiga: Time for playing games! In CAV , volume 4590 of LNCS . Springer , 2007 . G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen, and D. Lime. Uppaal-tiga: Time for playing games! In CAV, volume 4590 of LNCS. Springer, 2007."},{"key":"e_1_3_2_1_5_1","series-title":"LNCS","volume-title":"HSCC","author":"Behrmann G.","year":"2001","unstructured":"G. Behrmann , A. Fehnker , T. Hune , K. G. Larsen , P. Pettersson , J. Romijn , and F. W. Vaandrager . Minimum-cost reachability for priced timed automata . In HSCC , volume 2034 of LNCS . Springer , 2001 . G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson, J. Romijn, and F. W. Vaandrager. Minimum-cost reachability for priced timed automata. In HSCC, volume 2034 of LNCS. Springer, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00427-4"},{"key":"e_1_3_2_1_7_1","unstructured":"P. Bouyer. From qualitative to quantitative analysis of timed systems - M\u00e9moire d'habilitation \u00e0 diriger des recherches 2009.  P. Bouyer. From qualitative to quantitative analysis of timed systems - M\u00e9moire d'habilitation \u00e0 diriger des recherches 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0035-4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_6"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","volume-title":"HSCC","author":"Bouyer P.","year":"2004","unstructured":"P. Bouyer , E. Brinksma , and K. G. Larsen . Staying alive as cheaply as possible . In HSCC , volume 2993 of LNCS . Springer , 2004 . P. Bouyer, E. Brinksma, and K. G. Larsen. Staying alive as cheaply as possible. In HSCC, volume 2993 of LNCS. Springer, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.07.006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.28"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","volume-title":"CAV","author":"Bozga M.","year":"1998","unstructured":"M. Bozga , C. Daws , O. Maler , A. Olivero , S. Tripakis , and S. Yovine . Kronos: A model-checking tool for real-time systems . In CAV , volume 1427 of LNCS . Springer , 1998 . M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: A model-checking tool for real-time systems. In CAV, volume 1427 of LNCS. Springer, 1998."},{"key":"e_1_3_2_1_16_1","volume-title":"Energy and mean-payoff timed games","author":"Brenguier R.","year":"2014","unstructured":"R. Brenguier , F. Cassez , and J.-F. Raskin . Energy and mean-payoff timed games . 2014 . http:\/\/hal.archives-ouvertes.fr\/docs\/00\/94\/30\/15\/PDF\/mainFull.pdf. R. Brenguier, F. Cassez, and J.-F. Raskin. Energy and mean-payoff timed games. 2014. http:\/\/hal.archives-ouvertes.fr\/docs\/00\/94\/30\/15\/PDF\/mainFull.pdf."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0105-x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_7"},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","volume-title":"CONCUR","author":"Cassez F.","year":"2000","unstructured":"F. Cassez and K. G. Larsen . The impressive power of stopwatches . In CONCUR , volume 1877 of LNCS . Springer , 2000 . F. Cassez and K. G. Larsen. The impressive power of stopwatches. In CONCUR, volume 1877 of LNCS. Springer, 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02930-1_1"},{"key":"e_1_3_2_1_23_1","series-title":"LIPIcs","volume-title":"FSTTCS","author":"Chatterjee K.","year":"2010","unstructured":"K. Chatterjee , L. Doyen , T. A. Henzinger , and J.-F. Raskin . Generalized mean-payoff and energy games . In FSTTCS , volume 8 of LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 2010 . K. Chatterjee, L. Doyen, T. A. Henzinger, and J.-F. Raskin. Generalized mean-payoff and energy games. In FSTTCS, volume 8 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0062-x"},{"key":"e_1_3_2_1_25_1","series-title":"LNCS","first-page":"379","volume-title":"CAV","author":"Frehse G.","year":"2011","unstructured":"G. Frehse , C. L. Guernic , A. Donz\u00e9 , S. Cotton , R. Ray , O. Lebeltel , R. Ripado , A. Girard , T. Dang , and O. Maler . SpaceEx: Scalable Verification of Hybrid Systems . In CAV , volume 6806 of LNCS , pages 379 -- 395 . Springer , 2011 . G. Frehse, C. L. Guernic, A. Donz\u00e9, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler. SpaceEx: Scalable Verification of Hybrid Systems. In CAV, volume 6806 of LNCS, pages 379--395. Springer, 2011."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-013-0251-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","volume-title":"FORMATS","author":"Jessen J. J.","year":"2007","unstructured":"J. J. Jessen , J. I. Rasmussen , K. G. Larsen , and A. David . Guided controller synthesis for climate controller using Uppaal Tiga . In FORMATS , volume 4763 of LNCS . Springer , 2007 . J. J. Jessen, J. I. Rasmussen, K. G. Larsen, and A. David. Guided controller synthesis for climate controller using Uppaal Tiga. In FORMATS, volume 4763 of LNCS. Springer, 2007."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(98)00150-1"},{"key":"e_1_3_2_1_30_1","series-title":"LIPIcs","volume-title":"FSTTCS","author":"Jurdzinski M.","year":"2008","unstructured":"M. Jurdzinski and A. Trivedi . Average-time games . In FSTTCS , volume 2 of LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 2008 . M. Jurdzinski and A. Trivedi. Average-time games. In FSTTCS, volume 2 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2008."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/647319.721019"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.11.005"}],"event":{"name":"HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Berlin Germany","acronym":"HSCC'14"},"container-title":["Proceedings of the 17th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562116","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2562059.2562116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:52Z","timestamp":1750277692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,15]]},"references-count":34,"alternative-id":["10.1145\/2562059.2562116","10.1145\/2562059"],"URL":"https:\/\/doi.org\/10.1145\/2562059.2562116","relation":{},"subject":[],"published":{"date-parts":[[2014,4,15]]},"assertion":[{"value":"2014-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}