Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François Looking at mean payoff through foggy windows. (English) Zbl 1408.91045 Acta Inf. 55, No. 8, 627-647 (2018). MSC: 91A43 68Q60 91A05 PDFBibTeX XMLCite \textit{P. Hunter} et al., Acta Inf. 55, No. 8, 627--647 (2018; Zbl 1408.91045) Full Text: DOI
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara Graph games and reactive synthesis. (English) Zbl 1392.68233 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 921-962 (2018). MSC: 68Q60 68Q45 91A43 PDFBibTeX XMLCite \textit{R. Bloem} et al., in: Handbook of model checking. Cham: Springer. 921--962 (2018; Zbl 1392.68233) Full Text: DOI
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk Compositional and symbolic synthesis of reactive controllers for multi-agent systems. (English) Zbl 1395.68267 Inf. Comput. 261, Part 4, 616-633 (2018). MSC: 68T42 93B50 PDFBibTeX XMLCite \textit{R. Alur} et al., Inf. Comput. 261, Part 4, 616--633 (2018; Zbl 1395.68267) Full Text: DOI
Almagor, Shaull; Kupferman, Orna Latticed-LTL synthesis in the presence of noisy inputs. (English) Zbl 1374.93029 Discrete Event Dyn. Syst. 27, No. 3, 547-572 (2017). MSC: 93A30 93B50 03B44 PDFBibTeX XMLCite \textit{S. Almagor} and \textit{O. Kupferman}, Discrete Event Dyn. Syst. 27, No. 3, 547--572 (2017; Zbl 1374.93029) Full Text: DOI
Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives. (English) Zbl 1338.68166 J. Comput. Syst. Sci. 82, No. 5, 878-911 (2016). MSC: 68Q60 68Q17 68Q25 68Q45 68Q87 90C40 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., J. Comput. Syst. Sci. 82, No. 5, 878--911 (2016; Zbl 1338.68166) Full Text: DOI arXiv
Fribourg, Laurent; Kühne, Ulrich; Markey, Nicolas Game-based synthesis of distributed controllers for sampled switched systems. (English) Zbl 1429.93105 André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 48-62 (2015). MSC: 93B50 93C30 PDFBibTeX XMLCite \textit{L. Fribourg} et al., OASIcs -- OpenAccess Ser. Inform. 44, 48--62 (2015; Zbl 1429.93105) Full Text: DOI
Chatterjee, Krishnendu; Chmelík, Martin; Daca, Przemysław CEGAR for compositional analysis of qualitative properties in Markov decision processes. (English) Zbl 1322.68137 Form. Methods Syst. Des. 47, No. 2, 230-264 (2015). MSC: 68Q87 68Q60 90C40 91A80 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Form. Methods Syst. Des. 47, No. 2, 230--264 (2015; Zbl 1322.68137) Full Text: DOI
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie Uniform strategies, rational relations and jumping automata. (English) Zbl 1319.68140 Inf. Comput. 242, 80-107 (2015). MSC: 68Q60 03B42 03B44 03D05 68Q17 68Q45 91A80 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Inf. Comput. 242, 80--107 (2015; Zbl 1319.68140) Full Text: DOI
Maubert, Bastien; Pinchinat, Sophie A general notion of uniform strategies. (English) Zbl 1293.91030 Int. Game Theory Rev. 16, No. 1, Article ID 1440004, 33 p. (2014). MSC: 91A35 68Q60 91A05 91A18 91A44 PDFBibTeX XMLCite \textit{B. Maubert} and \textit{S. Pinchinat}, Int. Game Theory Rev. 16, No. 1, Article ID 1440004, 33 p. (2014; Zbl 1293.91030) Full Text: DOI
Grädel, Erich Model-checking games for logics of imperfect information. (English) Zbl 1358.68191 Theor. Comput. Sci. 493, 2-14 (2013). MSC: 68Q60 03B60 91A80 PDFBibTeX XMLCite \textit{E. Grädel}, Theor. Comput. Sci. 493, 2--14 (2013; Zbl 1358.68191) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A. A survey of stochastic \(\omega \)-regular games. (English) Zbl 1237.91036 J. Comput. Syst. Sci. 78, No. 2, 394-413 (2012). MSC: 91A15 91A05 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{T. A. Henzinger}, J. Comput. Syst. Sci. 78, No. 2, 394--413 (2012; Zbl 1237.91036) Full Text: DOI
Chatterjee, Krishnendu; Majumdar, Rupak Minimum attention controller synthesis for omega-regular objectives. (English) Zbl 1348.68096 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 145-159 (2011). MSC: 68Q45 91A80 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{R. Majumdar}, Lect. Notes Comput. Sci. 6919, 145--159 (2011; Zbl 1348.68096) Full Text: DOI
Berwanger, Dietmar; Kaiser, Łukasz Information tracking in games on graphs. (English) Zbl 1203.91033 J. Logic Lang. Inf. 19, No. 4, 395-412 (2010). MSC: 91A43 91A06 PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{Ł. Kaiser}, J. Logic Lang. Inf. 19, No. 4, 395--412 (2010; Zbl 1203.91033) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir Strategy logic. (English) Zbl 1205.68197 Inf. Comput. 208, No. 6, 677-693 (2010). MSC: 68Q45 91A05 68T27 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 208, No. 6, 677--693 (2010; Zbl 1205.68197) Full Text: DOI Link
Kuijper, Wouter; van de Pol, Jaco Compositional control synthesis for partially observable systems. (English) Zbl 1254.93075 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 431-447 (2009). MSC: 93B50 PDFBibTeX XMLCite \textit{W. Kuijper} and \textit{J. van de Pol}, Lect. Notes Comput. Sci. 5710, 431--447 (2009; Zbl 1254.93075) Full Text: DOI Link
Baier, Christel; Bertrand, Nathalie; Größer, Marcus The effect of tossing coins in omega-automata. (English) Zbl 1254.68142 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 15-29 (2009). MSC: 68Q60 03D05 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 5710, 15--29 (2009; Zbl 1254.68142) Full Text: DOI
Kuijper, Wouter; van de Pol, Jaco Computing weakest strategies for safety games of imperfect information. (English) Zbl 1234.68259 Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 92-106 (2009). MSC: 68Q60 91A80 PDFBibTeX XMLCite \textit{W. Kuijper} and \textit{J. van de Pol}, Lect. Notes Comput. Sci. 5505, 92--106 (2009; Zbl 1234.68259) Full Text: DOI
Baier, Christel; Bertrand, Nathalie; Größer, Marcus Probabilistic acceptors for languages over infinite words. (English) Zbl 1206.68167 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 19-33 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 5404, 19--33 (2009; Zbl 1206.68167) Full Text: DOI
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François Timed control with observation based and stuttering invariant strategies. (English) Zbl 1141.68428 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 192-206 (2007). MSC: 68Q45 91A80 93B50 PDFBibTeX XMLCite \textit{F. Cassez} et al., Lect. Notes Comput. Sci. 4762, 192--206 (2007; Zbl 1141.68428) Full Text: DOI