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; van den Bogaard, Marie Bounds for synchronizing Markov decision processes. (English) Zbl 07615735 Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13296, 133-151 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Doyen} and \textit{M. van den Bogaard}, Lect. Notes Comput. Sci. 13296, 133--151 (2022; Zbl 07615735) Full Text: DOI arXiv
Beutner, Eric; Bordes, Laurent; Doyen, Laurent Consistent semiparametric estimators for recurrent event times models with application to virtual age models. (English) Zbl 1462.62525 Bernoulli 26, No. 1, 557-586 (2020). Reviewer: Glauber Márcio Silveira Pereira (Ceará) MSC: 62M10 62G07 62N05 62P30 PDFBibTeX XMLCite \textit{E. Beutner} et al., Bernoulli 26, No. 1, 557--586 (2020; Zbl 1462.62525) Full Text: DOI Euclid
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
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François The complexity of multi-mean-payoff and multi-energy games. (English) Zbl 1309.68082 Inf. Comput. 241, 177-196 (2015). MSC: 68Q17 91A05 91A43 PDFBibTeX XMLCite \textit{Y. Velner} et al., Inf. Comput. 241, 177--196 (2015; Zbl 1309.68082) Full Text: DOI arXiv
Doyen, L. Semi-parametric estimation of Brown-Proschan preventive maintenance effects and intrinsic wear-out. (English) Zbl 1506.62057 Comput. Stat. Data Anal. 77, 206-222 (2014). MSC: 62-08 62N05 90B25 PDFBibTeX XMLCite \textit{L. Doyen}, Comput. Stat. Data Anal. 77, 206--222 (2014; Zbl 1506.62057) 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
Chatterjee, Krishnendu; Doyen, Laurent Energy parity games. (English) Zbl 1260.91039 Theor. Comput. Sci. 458, 49-60 (2012). MSC: 91A43 91A05 68Q17 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{L. Doyen}, Theor. Comput. Sci. 458, 49--60 (2012; Zbl 1260.91039) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Singh, Rohit On memoryless quantitative objectives. (English) Zbl 1342.91005 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 148-159 (2011). MSC: 91A43 91A05 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 6914, 148--159 (2011; Zbl 1342.91005) Full Text: DOI arXiv
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
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
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robust safety of timed automata. (English) Zbl 1165.68392 Form. Methods Syst. Des. 33, No. 1-3, 45-84 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. De Wulf} et al., Form. Methods Syst. Des. 33, No. 1--3, 45--84 (2008; Zbl 1165.68392) Full Text: DOI
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
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F. Antichains: Alternative algorithms for LTL satisfiability and model-checking. (English) Zbl 1134.68404 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 63-77 (2008). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 4963, 63--77 (2008; Zbl 1134.68404) Full Text: DOI