@inproceedings(AR14,
author = {B. Aminof and S. Rubin},
year = {2014},
title = {First Cycle Games},
booktitle = {Proc. of SR},
series = {EPTCS 146},
pages = {83--90},
doi = {10.4204/EPTCS.146.11},
)
@article(BSV04,
author = {H. Bj{\"o}rklund and S. Sandberg and S. Vorobyov},
year = {2004},
title = {Memoryless Determinacy of Parity and Mean Payoff Games: A~Simple Proof},
journal = {Theoretical Computer Science},
volume = {310},
number = {1-3},
pages = {365--378},
doi = {10.1016/S0304-3975(03)00427-4},
)
@inproceedings(BCHJ09,
author = {R. Bloem and K. Chatterjee and T.A. Henzinger and B. Jobstmann},
year = {2009},
title = {Better Quality in Synthesis through Quantitative Objectives},
booktitle = {Proc. of CAV},
series = {LNCS 5643},
publisher = {Springer},
pages = {140--156},
doi = {10.1007/978-3-642-02658-4_14},
)
@inproceedings(BEGM15,
author = {E. Boros and K. Elbassioni and V. Gurvich and K. Makino},
year = {2015},
title = {{M}arkov Decision Processes and Stochastic Games with Total Effective Payoff},
booktitle = {Proc. of STACS},
series = {LIPIcs 30},
publisher = {Schloss Dagstuhl - LZI},
pages = {103--115},
doi = {10.4230/LIPIcs.STACS.2015.103},
)
@inproceedings(BFLMS08,
author = {P. Bouyer and U. Fahrenberg and K.G. Larsen and N. Markey and J. Srba},
year = {2008},
title = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
booktitle = {Proc. of FORMATS},
series = {LNCS 5215},
publisher = {Springer},
pages = {33--47},
doi = {10.1007/978-3-540-85778-5_4},
)
@techreport(BMRLL15a,
author = {P. Bouyer and N. Markey and M. Randour and Larsen K.G. and S. Laursen},
year = {2015},
title = {Average-energy games},
type = {Research Report},
institution = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
url = {http://www.lsv.ens-cachan.fr/~randour/papers/BMRLL15.pdf},
)
@inproceedings(BKKN14,
author = {T. Br{\'a}zdil and Kla{\v{s}}ka, D. and Ku{\v c}era, A. and P. Novotn{\'y}},
year = {2014},
title = {Minimizing Running Costs in Consumption Systems},
booktitle = {Proc. of CAV},
series = {LNCS 8559},
publisher = {Springer},
pages = {457--472},
doi = {10.1007/978-3-319-08867-9_30},
)
@article(BCDGR11,
author = {L. Brim and J. Chaloupka and L. Doyen and R. Gentilini and J.-F. Raskin},
year = {2011},
title = {Faster algorithms for mean-payoff games},
journal = {Formal Methods in System Design},
volume = {38},
number = {2},
pages = {97--118},
doi = {10.1007/s10703-010-0105-x},
)
@inproceedings(CJLRR09,
author = {F. Cassez and J.J. Jessen and K.G. Larsen and J.-F. Raskin and P.-A. Reynier},
year = {2009},
title = {Automatic Synthesis of Robust and Optimal Controllers~-- An~Industrial Case Study},
booktitle = {Proc. of HSCC},
series = {LNCS 5469},
publisher = {Springer},
pages = {90--104},
doi = {10.1007/978-3-642-00602-9_7},
)
@inproceedings(emsoft2003-CAHS,
author = {A. Chakrabarti and L. de Alfaro and T.A. Henzinger and M. Stoelinga},
year = {2003},
title = {Resource Interfaces},
booktitle = {Proc. of EMSOFT},
series = {LNCS 2855},
publisher = {Springer},
pages = {117--133},
doi = {10.1007/978-3-540-45212-6_9},
)
@inproceedings(CD10,
author = {K. Chatterjee and L. Doyen},
year = {2010},
title = {Energy Parity Games},
booktitle = {Proc. of ICALP},
series = {LNCS 6199},
publisher = {Springer},
pages = {599--610},
doi = {10.1007/978-3-642-14162-1_50},
)
@article(Chatterjee201525,
author = {K. Chatterjee and L. Doyen and M. Randour and J.-F. Raskin},
year = {2015},
title = {Looking at mean-payoff and total-payoff through windows},
journal = {Information and Computation},
volume = {242},
pages = {25 -- 52},
doi = {10.1016/j.ic.2015.03.010},
)
@inproceedings(CP13,
author = {K. Chatterjee and V.S. Prabhu},
year = {2013},
title = {Quantitative timed simulation functions and refinement metrics for real-time systems},
booktitle = {Proc. of HSCC},
publisher = {{ACM}},
pages = {273--282},
doi = {10.1145/2461328.2461370},
)
@article(CRR14,
author = {K. Chatterjee and M. Randour and J.-F. Raskin},
year = {2014},
title = {Strategy synthesis for multi-dimensional quantitative objectives},
journal = {Acta Informatica},
volume = {51},
number = {3-4},
pages = {129--163},
doi = {10.1007/s00236-013-0182-6},
)
@article(EM79,
author = {A. Ehrenfeucht and J. Mycielski},
year = {1979},
title = {Positional strategies for mean payoff games},
journal = {International Journal of Game Theory},
volume = {8},
number = {2},
pages = {109--113},
doi = {10.1007/BF01768705},
)
@inproceedings(FJ13,
author = {J. Fearnley and M. Jurdzi{\'n}ski},
year = {2013},
title = {Reachability in two-clock timed automata is {PSPACE}-complete},
booktitle = {Proc. of ICALP},
series = {LNCS 7966},
publisher = {Springer},
pages = {212--223},
doi = {10.1007/978-3-642-39212-2_21},
)
@book(FV97,
author = {J. Filar and K. Vrieze},
year = {1997},
title = {Competitive {M}arkov decision processes},
publisher = {Springer},
)
@book(garey_FNY1979,
author = {M.R. Garey and D.S. Johnson},
year = {1979},
title = {Computers and intractability: a guide to the Theory of {NP}-Completeness},
publisher = {Freeman New York},
)
@inproceedings(GS09,
author = {T. Gawlitza and H. Seidl},
year = {2009},
title = {Games through Nested Fixpoints},
booktitle = {Proc. of CAV},
series = {LNCS 5643},
publisher = {Springer},
pages = {291--305},
doi = {10.1007/978-3-642-02658-4_24},
)
@inproceedings(mfcs2004-GZ,
author = {H. Gimbert and W. Zielonka},
year = {2004},
title = {When Can You Play Positionnaly?},
booktitle = {Proc. of MFCS},
series = {LNCS 3153},
publisher = {Springer},
pages = {686--697},
doi = {10.1007/978-3-540-28629-5_53},
)
@inproceedings(GZ05,
author = {H. Gimbert and W. Zielonka},
year = {2005},
title = {Games Where You Can Play Optimally Without Any Memory},
booktitle = {Proc. of CONCUR},
series = {LNCS 3653},
publisher = {Springer},
pages = {428--442},
doi = {10.1007/11539452_33},
)
@proceedings(GTW02,
editor = {E. Gr{\"a}del and W. Thomas and T. Wilke},
year = {2002},
title = {Automata, Logics, and Infinite Games: A Guide to Current Research},
series = {LNCS 2500},
publisher = {Springer},
doi = {10.1007/3-540-36387-4},
)
@inproceedings(JLR13,
author = {L. Juhl and K.G. Larsen and J.-F. Raskin},
year = {2013},
title = {Optimal Bounds for Multiweighted and Parametrised Energy Games},
booktitle = {Theories of Programming and Formal Methods},
series = {LNCS 8051},
publisher = {Springer},
pages = {244--255},
doi = {10.1007/978-3-642-39698-4_15},
)
@article(ipl68(3)-Jur,
author = {M. Jurdzi{\'n}ski},
year = {1998},
title = {Deciding the Winner in Parity Games is in {UP}{\relax$\cap\relax \GenericError{ }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I to replace it with another command,\MessageBreak or to continue without it.}}co-{UP}},
journal = {Information Processing Letters},
volume = {68},
number = {3},
pages = {119--124},
doi = {10.1016/S0020-0190(98)00150-1},
)
@article(JSL08,
author = {M. Jurdzi{\'n}ski and J. Sproston and F. Laroussinie},
year = {2008},
title = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
journal = {Logical Methods in Computer Science},
volume = {4},
number = {3},
doi = {10.2168/LMCS-4(3:12)2008},
)
@article(Kar78,
author = {R.M. Karp},
year = {1978},
title = {A characterization of the minimum cycle mean in a digraph},
journal = {Discrete Mathematics},
volume = {23},
number = {3},
doi = {10.1016/0012-365X(78)90011-0},
)
@inproceedings(Kop06,
author = {E. Kopczynski},
year = {2006},
title = {Half-Positional Determinacy of Infinite Games},
booktitle = {Proc. of ICALP},
series = {LNCS 4052},
publisher = {Springer},
pages = {336--347},
doi = {10.1007/11787006_29},
)
@inproceedings(LLT05,
author = {P. Lafourcade and D. Lugiez and R. Treinen},
year = {2005},
title = {Intruder Deduction for \emph{AC}-Like Equational Theories with Homomorphisms},
booktitle = {Proc. of RTA},
series = {LNCS 3467},
publisher = {Springer},
pages = {308--322},
doi = {10.1007/978-3-540-32033-3_23},
)
@incollection(Ran13,
author = {M. Randour},
year = {2013},
title = {Automated Synthesis of Reliable and Efficient Systems Through Game Theory: A Case Study},
booktitle = {Proceedings of the European Conference on Complex Systems 2012},
series = {Springer Proceedings in Complexity XVII},
publisher = {Springer},
pages = {731--738},
doi = {10.1007/978-3-319-00395-5_90},
)
@phdthesis(Ran14,
author = {M. Randour},
year = {2014},
title = {Synthesis in Multi-Criteria Quantitative Games},
school = {University of Mons, Belgium},
)
@article(TV87,
author = {F. Thuijsman and O.J. Vrieze},
year = {1987},
title = {The bad match; A~total reward stochastic game},
journal = {OR Spektrum},
volume = {9},
number = {2},
doi = {10.1007/BF01732644},
)
@article(VCDHRR15,
author = {Y. Velner and K. Chatterjee and L. Doyen and T.A. Henzinger and A.M. Rabinovich and J.-F. Raskin},
year = {2015},
title = {The complexity of multi-mean-payoff and multi-energy games},
journal = {Inf. Comput.},
volume = {241},
pages = {177--196},
doi = {10.1016/j.ic.2015.03.001},
)
@article(ZP96,
author = {U. Zwick and M. Paterson},
year = {1996},
title = {The Complexity of Mean Payoff Games on Graphs},
journal = {Theoretical Computer Science},
volume = {158},
number = {1-2},
pages = {343--359},
doi = {10.1016/0304-3975(95)00188-3},
)