@inproceedings(BJK10,
 author       = "T.~Br{\'a}zdil and P.~Jancar and A.~Kucera",
 year         = "2010",
 title        = "Reachability Games on Extended Vector Addition Systems with States",
 booktitle    = "ICALP (2)",
 pages        = "478--489",
 doi          = "10.1007/978-3-642-14162-1\_40",
)
@book(CLRS09,
 author       = "T.~H. Cormen and C.~E. Leiserson and R.~L. Rivest and C.~Stein",
 year         = "2009",
 title        = "Introduction to Algorithms (3. ed.)",
 publisher    = "MIT Press",
)
@techreport(DR13,
 author       = "L.~Doyen and A.~Rabinovich",
 year         = "2013",
 title        = "Robot games",
 type         = "Research Report",
 number       = "LSV-13-02",
 institution  = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France",
 url          = "http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2013-02.pdf",
 note         = "2~pages",
)
@incollection(GS53,
 author       = "D.~Gale and F.~M. Stewart",
 year         = "1953",
 title        = "Infinite games with perfect information",
 booktitle    = "Contributions to the theory of games, vol. 2",
 series       = "Annals of Mathematics Studies, no. 28",
 publisher    = "Princeton University Press",
 address      = "Princeton, N. J.",
 pages        = "245--266",
)
@inproceedings(JLS07,
 author       = "M.~Jurdzinski and F.~Laroussinie and J.~Sproston",
 year         = "2007",
 title        = "Model Checking Probabilistic Timed Automata with One or Two Clocks",
 booktitle    = "TACAS",
 pages        = "170--184",
 doi          = "10.1007/978-3-540-71209-1\_15",
)
@article(PRS05,
 author       = "P.~A.~B. Pleasants and H.~Ray and J.~Simpson",
 year         = "2005",
 title        = "The {F}robenius problem on lattices",
 journal      = "Australasian Journal of Combinatorics",
)
@book(PS82,
 author       = "C.~H. Papadimitriou and K.~Steiglitz",
 year         = "1982",
 title        = "Combinatorial Optimization: Algorithms and Complexity",
 publisher    = "Prentice-Hall",
)
@article(Syl1882,
 author       = "J.~J. Sylvester",
 year         = "1882",
 title        = "On Subvariants, i.e. Semi-Invariants to Binary Quantics of an Unlimited Order",
 journal      = "American Journal of Mathematics",
 volume       = "5",
 number       = "1",
 pages        = "pp. 79--136",
)
@inproceedings(Tho95,
 author       = "W.~Thomas",
 year         = "1995",
 title        = "On the Synthesis of Strategies in Infinite Games",
 booktitle    = "STACS",
 pages        = "1--13",
 doi          = "10.1007/3-540-59042-0\_57",
)
@article(Wil78,
 author       = "H.~S. Wilf",
 year         = "1978",
 title        = "A Circle-Of-Lights Algorithm for the "Money-Changing Problem"",
 journal      = "The American Mathematical Monthly",
 volume       = "85",
 number       = "7",
 pages        = "pp. 562--565",
 doi          = "10.2307/2320864",
)