Berwanger, Dietmar; Doyen, Laurent Observation and distinction: representing information in infinite games. (English) Zbl 07680317 Theory Comput. Syst. 67, No. 1, 4-27 (2023). MSC: 68Qxx 91Axx 03Bxx PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{L. Doyen}, Theory Comput. Syst. 67, No. 1, 4--27 (2023; Zbl 07680317) Full Text: DOI
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa The complexity of synchronizing Markov decision processes. (English) Zbl 1421.68099 J. Comput. Syst. Sci. 100, 96-129 (2019). MSC: 68Q87 68Q10 68Q25 68Q85 91A80 PDFBibTeX XMLCite \textit{L. Doyen} et al., J. Comput. Syst. Sci. 100, 96--129 (2019; Zbl 1421.68099) Full Text: DOI arXiv
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André Verification of hybrid systems. (English) Zbl 1392.68246 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). 1047-1110 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{L. Doyen} et al., in: Handbook of model checking. Cham: Springer. 1047--1110 (2018; Zbl 1392.68246) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François Doomsday equilibria for omega-regular games. (English) Zbl 1370.68164 Inf. Comput. 254, Part 2, 296-315 (2017). MSC: 68Q45 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 254, Part 2, 296--315 (2017; Zbl 1370.68164) Full Text: DOI arXiv
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. Randomness for free. (English) Zbl 1333.91008 Inf. Comput. 245, 3-16 (2015). MSC: 91A43 68Q60 68Q87 91A05 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 245, 3--16 (2015; Zbl 1333.91008) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y. The complexity of synthesis from probabilistic components. (English) Zbl 1440.68045 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 108-120 (2015). MSC: 68N30 68Q17 68Q25 68Q87 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 9135, 108--120 (2015; Zbl 1440.68045) Full Text: DOI arXiv
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François Looking at mean-payoff and total-payoff through windows. (English) Zbl 1317.68065 Inf. Comput. 242, 25-52 (2015). MSC: 68Q25 68Q17 91A05 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 242, 25--52 (2015; Zbl 1317.68065) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent Partial-observation stochastic games, how to win when belief fails. (English) Zbl 1291.91021 ACM Trans. Comput. Log. 15, No. 2, Article No. 16, 44 p. (2014). MSC: 91A15 68Q17 91A43 91A05 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{L. Doyen}, ACM Trans. Comput. Log. 15, No. 2, Article No. 16, 44 p. (2014; Zbl 1291.91021) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. A survey of partial-observation stochastic parity games. (English) Zbl 1291.91022 Form. Methods Syst. Des. 43, No. 2, 268-284 (2013). MSC: 91A15 91A05 91A43 91A80 68Q87 91-02 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Form. Methods Syst. Des. 43, No. 2, 268--284 (2013; Zbl 1291.91022) Full Text: DOI Link
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A. Strategy construction for parity games with imperfect information. (English) Zbl 1232.91007 Inf. Comput. 208, No. 10, 1206-1220 (2010). MSC: 91A05 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Inf. Comput. 208, No. 10, 1206--1220 (2010; Zbl 1232.91007) Full Text: DOI
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien Realizability of real-time logics. (English) Zbl 1262.68117 Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 133-148 (2009). MSC: 68Q60 03B44 03D05 68Q25 68Q45 PDFBibTeX XMLCite \textit{L. Doyen} et al., Lect. Notes Comput. Sci. 5813, 133--148 (2009; Zbl 1262.68117) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. Probabilistic weighted automata. (English) Zbl 1254.68133 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, 244-258 (2009). MSC: 68Q45 68Q87 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 5710, 244--258 (2009; Zbl 1254.68133) Full Text: DOI arXiv
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram Strategy construction for parity games with imperfect information. (English) Zbl 1160.68455 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 325-339 (2008). MSC: 68Q85 03B70 91A43 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Lect. Notes Comput. Sci. 5201, 325--339 (2008; Zbl 1160.68455) Full Text: DOI Link