@article(abdulla2005,
 author       = "P. A. Abdulla and C. Baier and S. {Purushothaman Iyer} and B. Jonsson",
 year         = "2005",
 title        = "Simulating Perfect Channels with Probabilistic Lossy Channels",
 journal      = "Information and Computation",
 volume       = "197",
 number       = "1--2",
 pages        = "22--40",
 doi          = "10.1016/j.ic.2004.12.001",
)
@inproceedings(ABdAMS-fossacs08,
 author       = "P. A. Abdulla and N. {Ben Henda} and L. {de Alfaro} and R. Mayr and S. Sandberg",
 year         = "2008",
 title        = "Stochastic Games with Lossy Channels",
 booktitle    = "Proc.\ 11th Int.\ Conf.\ Foundations of Software Science and Computational Structures (FOSSACS 2008)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4962",
 publisher    = "Springer",
 pages        = "35--49",
 doi          = "10.1007/978-3-540-78499-9\_4",
)
@article(ABRS-icomp,
 author       = "P. A. Abdulla and N. Bertrand and A. Rabinovich and {\relax Ph} Schnoebelen",
 year         = "2005",
 title        = "Verification of Probabilistic Systems with Faulty Communication",
 journal      = "Information and Computation",
 volume       = "202",
 number       = "2",
 pages        = "141--165",
 doi          = "10.1016/j.ic.2005.05.008",
)
@inproceedings(abdulla-icalp05,
 author       = "P. A. Abdulla and J. Deneux and J. Ouaknine and J. Worrell",
 year         = "2005",
 title        = "Decidability and complexity results for timed automata via channel machines",
 booktitle    = "Proc.\ 32nd Int.\ Coll.\ Automata, Languages, and Programming (ICALP 2005)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3580",
 publisher    = "Springer",
 pages        = "1089--1101",
 doi          = "10.1007/11523468\_88",
)
@book(arnold2001,
 author       = "A. Arnold and D. Niwi{\'n}ski",
 year         = "2001",
 title        = "Rudiments of {$\mu $}-Calculus",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "146",
 publisher    = "Elsevier Science",
 doi          = "10.1016/S0049-237X(01)80001-X",
)
@article(BBS-ipl,
 author       = "C. Baier and N. Bertrand and {\relax Ph}. Schnoebelen",
 year         = "2006",
 title        = "A note on the attractor-property of infinite-state {Markov} chains",
 journal      = "Information Processing Letters",
 volume       = "97",
 number       = "2",
 pages        = "58--63",
 doi          = "10.1016/j.ipl.2005.09.011",
)
@inproceedings(BBS-lpar,
 author       = "C. Baier and N. Bertrand and {\relax Ph}. Schnoebelen",
 year         = "2006",
 title        = "On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems",
 booktitle    = "Proc.\ 13th Int.\ Conf.\ on Logic for Programming and Artificial Intelligence, and Reasoning ({LPAR} 2006)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4246",
 publisher    = "Springer",
 pages        = "347--361",
 doi          = "10.1007/11916277\_24",
)
@article(BBS-acmtocl06,
 author       = "C. Baier and N. Bertrand and {\relax Ph}. Schnoebelen",
 year         = "2007",
 title        = "Verifying nondeterministic probabilistic channel systems against $\omega $-regular linear-time properties",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "9",
 number       = "1",
 doi          = "10.1145/1297658.1297663",
)
@article(baier2012b,
 author       = "C. Baier and T. Br{\'a}zdil and M. Gr{\"o}{\ss }er and A. Kucera",
 year         = "2012",
 title        = "Stochastic game logic",
 journal      = "Acta Informatica",
 volume       = "49",
 number       = "4",
 pages        = "203--224",
 doi          = "10.1007/s00236-012-0156-0",
)
@inproceedings(baier99,
 author       = "C. Baier and B. Engelen",
 year         = "1999",
 title        = "Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach",
 booktitle    = "Proc.\ 5th AMAST Workshop Formal Methods for Real-Time and Probabilistic Systems (ARTS 1999)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1601",
 publisher    = "Springer",
 pages        = "34--52",
 doi          = "10.1007/3-540-48778-6\_3",
)
@inproceedings(BFL-lics2012,
 author       = "P. Barcel{\'o} and D. Figueira and L. Libkin",
 year         = "2012",
 title        = "Graph Logics with Rational Relations and the Generalized Intersection Problem",
 booktitle    = "Proc.\ 27th IEEE Symp.\ Logic in Computer Science (LICS 2012)",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "115--124",
 doi          = "10.1109/LICS.2012.23",
)
@article(BS-fmsd2012,
 author       = "N. Bertrand and {\relax Ph}. Schnoebelen",
 year         = "2012",
 title        = "Computable fixpoints in well-structured symbolic model checking",
 journal      = "Formal Methods in System Design",
 doi          = "10.1007/s10703-012-0168-y",
 note         = "To appear. Long version of~\cite {BBS-lpar}",
)
@inproceedings(bouajjani2000b,
 author       = "A. Bouajjani and B. Jonsson and M. Nilsson and T. Touili",
 year         = "2000",
 title        = "Regular Model Checking",
 booktitle    = "Proc.\ 12th Int.\ Conf.\ Computer Aided Verification (CAV 2000)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1855",
 publisher    = "Springer",
 pages        = "403--418",
 doi          = "10.1007/10722167\_31",
)
@inproceedings(BMOSW-stacs08,
 author       = "P. Bouyer and N. Markey and J. Ouaknine and {\relax Ph}. Schnoebelen and J. Worrell",
 year         = "2008",
 title        = "On Termination for Faulty Channel Machines",
 booktitle    = "Proc.\ 25th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS 2008)",
 series       = "Leibniz Int.\ Proc.\ in Informatics",
 volume       = "1",
 publisher    = "Leibniz-Zentrum f{\"u}r Informatik",
 pages        = "121--132",
 doi          = "10.4230/LIPIcs.STACS.2008.1339",
)
@inproceedings(bouyer2008,
 author       = "P. Bouyer and N. Markey and P.-A. Reynier",
 year         = "2008",
 title        = "Robust Analysis of Timed Automata via Channel Machines",
 booktitle    = "Proc.\ 11th Int.\ Conf.\ Foundations of Software Science and Computational Structures (FOSSACS 2008)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4962",
 publisher    = "Springer",
 pages        = "157--171",
 doi          = "10.1007/978-3-540-78499-9\_12",
)
@incollection(bradfield2007,
 author       = "J. Bradfield and C. Stirling",
 year         = "2007",
 title        = "Modal mu-calculi",
 editor       = "P. Blackburn and J. Van Benthem and F. Wolter",
 booktitle    = "Handbook of Modal Logic",
 chapter      = "12",
 series       = "Studies in Logic and Practical Reasoning",
 volume       = "3",
 publisher    = "Elsevier Science",
 pages        = "721--756",
 doi          = "10.1016/S1570-2464(07)80015-2",
)
@inproceedings(BBE-fsttcs10,
 author       = "T. Br{\'a}zdil and V. Brozek and K. Etessami",
 year         = "2010",
 title        = "One-Counter Stochastic Games",
 booktitle    = "Proc.\ 30th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS 2010)",
 series       = "Leibniz Int.\ Proc.\ in Informatics",
 volume       = "8",
 publisher    = "Leibniz-Zentrum f{\"u}r Informatik",
 pages        = "108--119",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.108",
)
@inproceedings(BBEK-icalp11,
 author       = "T. Br{\'a}zdil and V. Brozek and K. Etessami and A. Ku{\v {c}}era",
 year         = "2011",
 title        = "Approximating the Termination Value of One-Counter {MDPs} and Stochastic Games",
 booktitle    = "Proc.\ 38th Int.\ Coll.\ Automata, Languages and Programming (ICALP 2011)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6756",
 publisher    = "Springer",
 pages        = "332--343",
 doi          = "10.1007/978-3-642-22012-8\_26",
)
@article(BBKO-ic11,
 author       = "T. Br{\'a}zdil and V. Brozek and A. Ku{\v {c}}era and J. Obdrz{\'a}lek",
 year         = "2011",
 title        = "Qualitative reachability in stochastic {BPA} games",
 journal      = "Information \& Computation",
 volume       = "209",
 number       = "8",
 pages        = "1160--1183",
 doi          = "10.1016/j.ic.2011.02.002",
)
@incollection(brazdil2013,
 author       = "T. Br\'azdil and A. Ku{\v {c}}era and P. Novotn\'y",
 year         = "2013",
 title        = "Determinacy in Stochastic Games with Unbounded Payoff Functions",
 booktitle    = "Proc.\ 8th Int.\ Workshop Mathematical and Engineering Methods in Computer Science (MEMICS 2012)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7721",
 publisher    = "Springer",
 pages        = "94--105",
 doi          = "10.1007/978-3-642-36046-6\_10",
)
@inproceedings(CS-lics08,
 author       = "P. Chambart and {\relax Ph}. Schnoebelen",
 year         = "2008",
 title        = "The Ordinal Recursive Complexity of Lossy Channel Systems",
 booktitle    = "Proc.\ 23rd IEEE Symp.\ Logic in Computer Science (LICS 2008)",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "205--216",
 doi          = "10.1109/LICS.2008.47",
)
@inproceedings(CdAH-qest04,
 author       = "K. Chatterjee and L. de{ }Alfaro and T. A. Henzinger",
 year         = "2004",
 title        = "Trading Memory for Randomness",
 booktitle    = "Proc.\ 1st Int.\ Conf.\ Quantitative Evaluation of Systems (QEST 2004)",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "206--217",
 doi          = "10.1109/QEST.2004.10051",
)
@inproceedings(CJH-csl03,
 author       = "K. Chatterjee and M. Jurdzinski and T. A. Henzinger",
 year         = "2003",
 title        = "Simple Stochastic Parity Games",
 booktitle    = "Proc.\ 17th Int.\ Workshop Computer Science Logic (CSL 2003) and 8th Kurt G{\"o}del Coll.\ (KGL 2003)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2803",
 publisher    = "Springer",
 pages        = "100--113",
 doi          = "10.1007/978-3-540-45220-1\_11",
)
@inproceedings(chen2007,
 author       = "Taolue Chen and Jian Lu",
 year         = "2007",
 title        = "Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm",
 booktitle    = "Proc.\ 4th Int.\ Conf.\ Fuzzy Systems and Knowledge Discovery (FSKD 2007), Aug.\ 2007, Haikou, Hainan, China",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "35--39",
 doi          = "10.1109/FSKD.2007.458",
)
@article(condon-ic92,
 author       = "A. Condon",
 year         = "1992",
 title        = "The Complexity of Stochastic Games",
 journal      = "Information and Computation",
 volume       = "96",
 number       = "2",
 pages        = "203--224",
 doi          = "10.1016/0890-5401(92)90048-K",
)
@article(EY-lmcs08,
 author       = "K. Etessami and M. Yannakakis",
 year         = "2008",
 title        = "Recursive Concurrent Stochastic Games",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "4",
 doi          = "10.2168/LMCS-4(4:7)2008",
)
@inproceedings(JKS-tcs2012,
 author       = "P. Jan\v {c}ar and P. Karandikar and {\relax Ph}. Schnoebelen",
 year         = "2012",
 title        = "Unidirectional channel systems can be tested",
 booktitle    = "Proc.\ 7th IFIP Int.\ Conf.\ on Theoretical Computer Science (IFIP TCS 2012)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7604",
 publisher    = "Springer",
 pages        = "149--163",
 doi          = "10.1007/978-3-642-33475-7\_11",
)
@inproceedings(KS-fossacs2013,
 author       = "P. Karandikar and S. Schmitz",
 year         = "2013",
 title        = "The Parametric Ordinal-Recursive Complexity of {Post} Embedding Problems",
 booktitle    = "Proc.\ 16th Int.\ Conf.\ Foundations of Software Science and Computational Structures (FOSSACS 2013)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7794",
 publisher    = "Springer",
 pages        = "273--288",
 doi          = "10.1007/978-3-642-37075-5\_18",
)
@article(kesten2001,
 author       = "Y. Kesten and O. Maler and M. Marcus and A. Pnueli and E. Shahar",
 year         = "2001",
 title        = "Symbolic model checking with rich assertional languages",
 journal      = "Theoretical Computer Science",
 volume       = "256",
 number       = "1--2",
 pages        = "93--112",
 doi          = "10.1016/S0304-3975(00)00103-1",
)
@inproceedings(konev2005,
 author       = "B. Konev and F. Wolter and M. Zakharyaschev",
 year         = "2005",
 title        = "Temporal logics over transitive states",
 booktitle    = "Proc.\ 20th Conf.\ Automated Deduction (CADE 2005)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3632",
 publisher    = "Springer",
 pages        = "182--203",
 doi          = "10.1007/11532231\_14",
)
@inproceedings(kouzmin2004,
 author       = "E. V. Kouzmin and N. V. Shilov and V. A. Sokolov",
 year         = "2004",
 title        = "Model Checking mu-Calculus in Well-Structured Transition Systems",
 booktitle    = "Proc.\ 11th Int.\ Symp.\ Temporal Representation and Reasoning (TIME 2004)",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "152--155",
 doi          = "10.1109/TIME.2004.1314433",
)
@article(martin98,
 author       = "D. A. Martin",
 year         = "1998",
 title        = "The determinacy of {Blackwell} Games",
 journal      = "The Journal of Symbolic Logic",
 volume       = "63",
 number       = "4",
 pages        = "1565--1581",
 doi          = "10.2307/2586667",
)
@inproceedings(muscholl2010,
 author       = "A. Muscholl",
 year         = "2010",
 title        = "Analysis of Communicating Automata",
 booktitle    = "Proc.\ 4th Int.\ Conf.\ Language and Automata Theory and Applications (LATA 2010)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6031",
 publisher    = "Springer",
 pages        = "50--57",
 doi          = "10.1007/978-3-642-13089-2\_4",
)
@inproceedings(purush97,
 author       = "S. {Purushothaman Iyer} and M. Narasimha",
 year         = "1997",
 title        = "Probabilistic Lossy Channel Systems",
 booktitle    = "Proc.\ 7th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT '97)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1214",
 publisher    = "Springer",
 pages        = "667--681",
 doi          = "10.1007/BFb0030633",
)
@book(puterman94,
 author       = "M. L. Puterman",
 year         = "1994",
 title        = "{Markov} decision processes: discrete stochastic dynamic programming",
 publisher    = "John Wiley \& Sons",
 doi          = "10.1002/9780470316887",
)
@article(rabinovich2006,
 author       = "A. Rabinovich",
 year         = "2006",
 title        = "Quantitative analysis of probabilistic lossy channel systems",
 journal      = "Information and Computation",
 volume       = "204",
 number       = "5",
 pages        = "713--740",
 doi          = "10.1016/j.ic.2005.11.004",
)
@inproceedings(SS-icalp11,
 author       = "S. Schmitz and {\relax Ph}. Schnoebelen",
 year         = "2011",
 title        = "Multiply-Recursive Upper Bounds with {Higman}'s Lemma",
 booktitle    = "Proc.\ 38th Int.\ Coll.\ Automata, Languages, and Programming (ICALP 2011)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6756",
 publisher    = "Springer",
 pages        = "441--452",
 doi          = "10.1007/978-3-642-22012-8\_35",
)
@misc(SS-esslli2012,
 author       = "S. Schmitz and {\relax Ph}. Schnoebelen",
 year         = "2012",
 title        = "Algorithmic Aspects of {WQO} Theory",
 howpublished = "Lecture notes",
 note         = "Available at \url {http://cel.archives-ouvertes.fr/cel-00727025}",
)
@incollection(Sch-voss,
 author       = "{\relax Ph}. Schnoebelen",
 year         = "2004",
 title        = "The Verification of Probabilistic Lossy Channel Systems",
 booktitle    = "Validation of Stochastic Systems: A Guide to Current Research",
 series       = "Lecture Notes in Computer Science",
 volume       = "2925",
 publisher    = "Springer",
 pages        = "445--465",
 doi          = "10.1007/978-3-540-24611-4\_13",
)
@article(shapley53,
 author       = "L. S. Shapley",
 year         = "1953",
 title        = "Stochastic games",
 journal      = "Proc. Natl. Acad. Sci. USA",
 volume       = "39",
 number       = "10",
 pages        = "1095--1100",
 doi          = "10.1073/pnas.39.10.1095",
)
@inproceedings(zielonka2010,
 author       = "W. Zielonka",
 year         = "2010",
 title        = "Playing in stochastic environment: from multi-armed bandits to two-player games",
 booktitle    = "Proc.\ 30th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS 2010)",
 series       = "Leibniz Int.\ Proc.\ in Informatics",
 volume       = "8",
 publisher    = "Leibniz-Zentrum f{\"u}r Informatik",
 pages        = "65--72",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.65",
)