@inproceedings{hscc-14,
  author    = {Romain Brenguier and
               Franck Cassez and
               Jean-François Raskin},
  title     = {Energy and mean-payoff timed games},
  booktitle = {17th International Conference on Hybrid Systems: Computation
               and Control, HSCC'14},
  year      = {2014},
  pages     = {283-292},
  urlpaper = {papers/hscc-2014.pdf},
  url_link     = {http://doi.acm.org/10.1145/2562059.2562116},
  mywebpage = {timed},
  show = {},
  keywords = {hybrid, timed automata, games},
  abstract = {In this paper, we study energy and mean-payoff timed games.
  The decision problems that consist in determining the existence of winning strategies in those games are undecidable,
  and we thus provide semi-algorithms for solving these strategy synthesis problems.
  We then identify a large class of timed games for which our semi-algorithms terminate and are thus complete.
  We also study in detail the relation between mean-payoff and energy timed games. Finally,
  we provide a symbolic algorithm to solve energy timed games and demonstrate its use on small examples using HyTech.},
  Type = {B - International Conferences},

}

{"_id":"Di66vdmPBRPqBSZWt","bibbaseid":"brenguier-cassez-raskin-energyandmeanpayofftimedgames-2014","author_short":["Brenguier, R.","Cassez, F.","Raskin, J."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Romain"],"propositions":[],"lastnames":["Brenguier"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]}],"title":"Energy and mean-payoff timed games","booktitle":"17th International Conference on Hybrid Systems: Computation and Control, HSCC'14","year":"2014","pages":"283-292","urlpaper":"papers/hscc-2014.pdf","url_link":"http://doi.acm.org/10.1145/2562059.2562116","mywebpage":"timed","show":"","keywords":"hybrid, timed automata, games","abstract":"In this paper, we study energy and mean-payoff timed games. The decision problems that consist in determining the existence of winning strategies in those games are undecidable, and we thus provide semi-algorithms for solving these strategy synthesis problems. We then identify a large class of timed games for which our semi-algorithms terminate and are thus complete. We also study in detail the relation between mean-payoff and energy timed games. Finally, we provide a symbolic algorithm to solve energy timed games and demonstrate its use on small examples using HyTech.","bibtex":"@inproceedings{hscc-14,\n author = {Romain Brenguier and\n Franck Cassez and\n Jean-François Raskin},\n title = {Energy and mean-payoff timed games},\n booktitle = {17th International Conference on Hybrid Systems: Computation\n and Control, HSCC'14},\n year = {2014},\n pages = {283-292},\n urlpaper = {papers/hscc-2014.pdf},\n url_link = {http://doi.acm.org/10.1145/2562059.2562116},\n mywebpage = {timed},\n show = {},\n keywords = {hybrid, timed automata, games},\n abstract = {In this paper, we study energy and mean-payoff timed games.\n The decision problems that consist in determining the existence of winning strategies in those games are undecidable,\n and we thus provide semi-algorithms for solving these strategy synthesis problems.\n We then identify a large class of timed games for which our semi-algorithms terminate and are thus complete.\n We also study in detail the relation between mean-payoff and energy timed games. Finally,\n we provide a symbolic algorithm to solve energy timed games and demonstrate its use on small examples using HyTech.},\n Type = {B - International Conferences},\n\n}\n\n","author_short":["Brenguier, R.","Cassez, F.","Raskin, J."],"key":"hscc-14","id":"hscc-14","bibbaseid":"brenguier-cassez-raskin-energyandmeanpayofftimedgames-2014","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/hscc-2014.pdf"," link":"http://doi.acm.org/10.1145/2562059.2562116"},"keyword":["hybrid","timed automata","games"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["hybrid","timed automata","games"],"search_terms":["energy","mean","payoff","timed","games","brenguier","cassez","raskin"],"title":"Energy and mean-payoff timed games","year":2014}