default search action

combined dblp search
author search
venue search
publication search

ask others

Laurent Doyen 0001

> Home > Persons

Person information

affiliation: CNRS & LMF, ENS Paris-Saclay, France
affiliation: LSV, Cachan, France

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Doyen25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Doyen25
Laurent Doyen:
Top-down complementation of automata on finite trees. Inf. Process. Lett. 187: 106499 (2025)
2023
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Doyen23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Doyen23
Laurent Doyen:
Stochastic Games with Synchronization Objectives. J. ACM 70(3): 23:1-23:35 (2023)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/BerwangerD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/BerwangerD23
Dietmar Berwanger, Laurent Doyen:
Observation and Distinction: Representing Information in Infinite Games. Theory Comput. Syst. 67(1): 4-27 (2023)
2022
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/ChatterjeeD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ChatterjeeD22
Krishnendu Chatterjee, Laurent Doyen:
Graph planning with expected finite horizon. J. Comput. Syst. Sci. 129: 1-21 (2022)
2019
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/DoyenMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/DoyenMS19
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
The complexity of synchronizing Markov decision processes. J. Comput. Syst. Sci. 100: 96-129 (2019)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChatterjeeDFR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChatterjeeDFR17
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin:
Doomsday equilibria for omega-regular games. Inf. Comput. 254: 296-315 (2017)
2015
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VelnerC0HRR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VelnerC0HRR15
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin:
The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. 241: 177-196 (2015)
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Chatterjee0RR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Chatterjee0RR15
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at mean-payoff and total-payoff through windows. Inf. Comput. 242: 25-52 (2015)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Chatterjee0GH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Chatterjee0GH15
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. Inf. Comput. 245: 3-16 (2015)
2014
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/Chatterjee014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/Chatterjee014
Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win when Belief Fails. ACM Trans. Comput. Log. 15(2): 16:1-16:44 (2014)
2013
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Chatterjee0H13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Chatterjee0H13
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43(2): 268-284 (2013)
2012
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChatterjeeD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChatterjeeD12
Krishnendu Chatterjee, Laurent Doyen:
Energy parity games. Theor. Comput. Sci. 458: 49-60 (2012)
2011
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrimCDGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrimCDGR11
Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin:
Faster algorithms for mean-payoff games. Formal Methods Syst. Des. 38(2): 97-118 (2011)
2010
[j9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-4018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4018
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. Log. Methods Comput. Sci. 6(3) (2010)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BerwangerCWDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BerwangerCWDH10
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeDH10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative languages. ACM Trans. Comput. Log. 11(4): 23:1-23:38 (2010)
2009
[j6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0902-3958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0902-3958
Laurent Doyen, Jean-François Raskin:
Antichains for the Automata-Based Approach to Model-Checking. Log. Methods Comput. Sci. 5(1) (2009)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WulfDMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WulfDMR08
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
Robust safety of timed automata. Formal Methods Syst. Des. 33(1-3): 45-84 (2008)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/DoyenHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/DoyenHR08
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Doyen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Doyen07
Laurent Doyen:
Robust parametric reachability for timed automata. Inf. Process. Lett. 102(5): 208-213 (2007)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RaskinCDH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RaskinCDH07
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. 3(3) (2007)
2005
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WulfDR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WulfDR05
Martin De Wulf, Laurent Doyen, Jean-François Raskin:
Almost ASAP semantics: from timed models to timed implementations. Formal Aspects Comput. 17(3): 319-341 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001S24
Laurent Doyen, Thomas Soullard:
Regular Games with Imperfect Information Are Not That Regular. CONCUR 2024: 23:1-23:19
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DoyenGG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DoyenGG24
Laurent Doyen, Pranshu Gaba, Shibashis Guha:
Stochastic Window Mean-Payoff Games. FoSSaCS (1) 2024: 34-54
2022
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/DoyenB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/DoyenB22
Laurent Doyen, Marie van den Bogaard:
Bounds for Synchronizing Markov Decision Processes. CSR 2022: 133-151
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/000122a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/000122a
Laurent Doyen:
Stochastic Games with Synchronizing Objectives. LICS 2022: 43:1-43:12
2021
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Chatterjee021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Chatterjee021
Krishnendu Chatterjee, Laurent Doyen:
Stochastic Processes with Expected Stopping Time. LICS 2021: 1-13
2020
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/Berwanger020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Berwanger020
Dietmar Berwanger, Laurent Doyen:
Observation and Distinction. Representing Information in Infinite Games. STACS 2020: 48:1-48:17
2019
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Chatterjee019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Chatterjee019
Krishnendu Chatterjee, Laurent Doyen:
Graph Planning with Expected Finite Horizon. LICS 2019: 1-13
2017
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Chatterjee0H17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Chatterjee0H17
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools 2017: 367-381
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/Doyen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Doyen17
Laurent Doyen:
The Multiple Dimensions of Mean-Payoff Games - (Extended Abstract). RP 2017: 1-8
2016
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/Chatterjee016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Chatterjee016
Krishnendu Chatterjee, Laurent Doyen:
Computation Tree Logic for Synchronization Properties. ICALP 2016: 98:1-98:14
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Chatterjee016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Chatterjee016
Krishnendu Chatterjee, Laurent Doyen:
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. LICS 2016: 247-256
2015
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Chatterjee0V15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Chatterjee0V15
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. ICALP (2) 2015: 108-120
2014
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/0001MS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001MS14
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Robust Synchronization in Markov Decision Processes. CONCUR 2014: 234-248
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/0001MS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/0001MS14
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Limit Synchronization in Markov Decision Processes. FoSSaCS 2014: 58-72
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Chatterjee0GO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Chatterjee0GO14
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj:
Perfect-Information Stochastic Mean-Payoff Parity Games. FoSSaCS 2014: 210-225
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Chatterjee0NV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Chatterjee0NV14
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS 2014: 242-257
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/0001JLMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/0001JLMS14
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi:
Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014: 121-132
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Chatterjee014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Chatterjee014
Krishnendu Chatterjee, Laurent Doyen:
Games with a Weak Adversary. ICALP (2) 2014: 110-121
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Chatterjee0FR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Chatterjee0FR14
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin:
Doomsday Equilibria for Omega-Regular Games. VMCAI 2014: 78-97
2013
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Brihaye0GORW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Brihaye0GORW13
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. ATVA 2013: 55-70
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Chatterjee0RR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Chatterjee0RR13
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. ATVA 2013: 118-132
2012
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeD12
Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win When Belief Fails. LICS 2012: 175-184
2011
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BrihayeBDDR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BrihayeBDDR11
Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin:
Antichain-Based QBF Solving. ATVA 2011: 183-197
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/ChatterjeeDS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/ChatterjeeDS11
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh:
On Memoryless Quantitative Objectives. FCT 2011: 148-159
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BrihayeDGORW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BrihayeDGORW11
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
On Reachability for Hybrid Automata over Bounded Time. ICALP (2) 2011: 416-427
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/ChatterjeeD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/ChatterjeeD11
Krishnendu Chatterjee, Laurent Doyen:
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS 2011: 37-46
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeD11
Krishnendu Chatterjee, Laurent Doyen:
Energy and Mean-Payoff Parity Markov Decision Processes. MFCS 2011: 206-218
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/DoyenMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/DoyenMS11
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Infinite Synchronizing Words for Probabilistic Automata. MFCS 2011: 278-289
[c30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-4121
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-4121
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Synchronizing Objectives for Markov Decision Processes. iWIGP 2011: 61-75
2010
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/DoyenHLN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/DoyenHLN10
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeDEHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDEHR10
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/DegorreDGRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/DegorreDGRT10
Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk:
Energy and Mean-Payoff Games with Imperfect Information. CSL 2010: 260-274
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChatterjeeDHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChatterjeeDHR10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeD10
Krishnendu Chatterjee, Laurent Doyen:
Energy Parity Games. ICALP (2) 2010: 599-610
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/ChatterjeeD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ChatterjeeD10
Krishnendu Chatterjee, Laurent Doyen:
The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) 2010: 1-14
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDGH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeDGH10
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. MFCS 2010: 246-257
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChatterjeeDH10
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DoyenR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DoyenR10
Laurent Doyen, Jean-François Raskin:
Antichain Algorithms for Finite Automata. TACAS 2010: 2-22
2009
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CONCUR 2009: 244-258
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Alternating Weighted Automata. FCT 2009: 3-13
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DoyenGRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DoyenGRR09
Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert:
Realizability of Real-Time Logics. FORMATS 2009: 133-148
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChatterjeeDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BerwangerCWDH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BerwangerCWDH09
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
2008
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/WulfDMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WulfDMR08
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin:
Alaska. ATVA 2008: 240-245
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BerwangerCDHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BerwangerCDHR08
Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje:
Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ChatterjeeDH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeDH08
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative Languages. CSL 2008: 385-400
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/DoyenHJP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/DoyenHJP08
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. EMSOFT 2008: 79-88
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BerwangerD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BerwangerD08
Dietmar Berwanger, Laurent Doyen:
On the Power of Imperfect Information. FSTTCS 2008: 73-82
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WulfDMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WulfDMR08
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin:
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS 2008: 63-77
2007
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DoyenR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DoyenR07
Laurent Doyen, Jean-François Raskin:
Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS 2007: 451-465
2006
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/WulfDHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WulfDHR06
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV 2006: 17-30
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ChatterjeeDHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeDHR06
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Algorithms for Omega-Regular Games with Imperfect Information^,. CSL 2006: 287-302
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WulfDR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WulfDR06
Martin De Wulf, Laurent Doyen, Jean-François Raskin:
A Lattice Theory for Solving Games of Imperfect Information. HSCC 2006: 153-168
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WulfDR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WulfDR05
Martin De Wulf, Laurent Doyen, Jean-François Raskin:
Systematic Implementation of Real-Time Models. FM 2005: 139-156
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DoyenHR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DoyenHR05
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/WulfDMR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/WulfDMR04
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WulfDR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WulfDR04
Martin De Wulf, Laurent Doyen, Jean-François Raskin:
Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC 2004: 296-310

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p2]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/0001FPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/0001FPP18
Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer:
Verification of Hybrid Systems. Handbook of Model Checking 2018: 1047-1110
2011
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/cu/11/0001R11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/11/0001R11
Laurent Doyen, Jean-François Raskin:
Games with imperfect information: theory and algorithms. Lectures in Game Theory for Computer Scientists 2011: 185-212

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2022henzinger
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2022henzinger
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-20133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-20133
Laurent Doyen, Thomas Soullard:
Regular Games with Imperfect Information Are Not That Regular. CoRR abs/2403.20133 (2024)
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-18048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-18048
Laurent Doyen, Pranshu Gaba, Shibashis Guha:
Expectation in Stochastic Window Mean-Payoff Games. CoRR abs/2405.18048 (2024)
2023
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-11563
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-11563
Laurent Doyen, Pranshu Gaba, Shibashis Guha:
Stochastic Window Mean-payoff Games. CoRR abs/2304.11563 (2023)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01063
Dietmar Berwanger, Laurent Doyen, Thomas Soullard:
Synthesising Full-Information Protocols. CoRR abs/2307.01063 (2023)
2022
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12767
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12767
Laurent Doyen:
Stochastic Games with Synchronizing Objectives. CoRR abs/2202.12767 (2022)
[i30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-12814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-12814
Laurent Doyen, Marie van den Bogaard:
Bounds for Synchronizing Markov Decision Processes. CoRR abs/2204.12814 (2022)
2021
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-07278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-07278
Krishnendu Chatterjee, Laurent Doyen:
Stochastic Processes with Expected Stopping Time. CoRR abs/2104.07278 (2021)
2018
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-03642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-03642
Krishnendu Chatterjee, Laurent Doyen:
Graph Planning with Expected Finite Horizon. CoRR abs/1802.03642 (2018)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-05978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-05978
Dietmar Berwanger, Laurent Doyen:
Observation and Distinction. Representing Information in Infinite Games. CoRR abs/1809.05978 (2018)
2016
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0001MS16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001MS16a
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
The Complexity of Synchronizing Markov Decision Processes. CoRR abs/1604.01942 (2016)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee016
Krishnendu Chatterjee, Laurent Doyen:
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. CoRR abs/1604.06376 (2016)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee016a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee016a
Krishnendu Chatterjee, Laurent Doyen:
Computation Tree Logic for Synchronization Properties. CoRR abs/1604.06384 (2016)
2015
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee0V15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee0V15
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. CoRR abs/1502.04844 (2015)
2014
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee0NV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee0NV14
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR abs/1401.3289 (2014)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0001MS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001MS14
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Robust Synchronization in Markov Decision Processes. CoRR abs/1402.2840 (2014)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee014
Krishnendu Chatterjee, Laurent Doyen:
Games with a Weak Adversary. CoRR abs/1404.5453 (2014)
2013
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1302-4248
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4248
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. CoRR abs/1302.4248 (2013)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0001MS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001MS13a
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Limit Synchronization in Markov Decision Processes. CoRR abs/1310.2935 (2013)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee0FR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee0FR13
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin:
Doomsday Equilibria for Omega-Regular Games. CoRR abs/1311.3238 (2013)
2012
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1206-0995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-0995
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Infinite Synchronizing Words for Probabilistic Automata (Erratum). CoRR abs/1206.0995 (2012)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1209-3234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-3234
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin:
The Complexity of Multi-Mean-Payoff and Multi-Energy Games. CoRR abs/1209.3234 (2012)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-1276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-1276
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints. CoRR abs/1211.1276 (2012)
2011
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-2909
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-2909
Krishnendu Chatterjee, Laurent Doyen:
Energy and Mean-Payoff Parity Markov Decision Processes. CoRR abs/1104.2909 (2011)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-3211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-3211
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh:
On Memoryless Quantitative Objectives. CoRR abs/1104.3211 (2011)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-5335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-5335
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
On Reachability for Hybrid Automata over Bounded Time. CoRR abs/1104.5335 (2011)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1107-2141
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-2141
Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win when Belief Fails. CoRR abs/1107.2141 (2011)
2010
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-5183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-5183
Krishnendu Chatterjee, Laurent Doyen:
Energy Parity Games. CoRR abs/1001.5183 (2010)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-0673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-0673
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for Free. CoRR abs/1006.0673 (2010)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-1492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1492
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou:
Mean-payoff Automaton Expressions. CoRR abs/1006.1492 (2010)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-1669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-1669
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Generalized Mean-payoff and Energy Games. CoRR abs/1007.1669 (2010)
2009
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0901-4728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0901-4728
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. CoRR abs/0901.4728 (2009)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-2195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-2195
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. CoRR abs/0905.2195 (2009)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0909-1645
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-1645
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Qualitative Analysis of Partially-observable Markov Decision Processes. CoRR abs/0909.1645 (2009)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0909-1647
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-1647
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CoRR abs/0909.1647 (2009)
2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0706-2619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0706-2619
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Algorithms for Omega-Regular Games with Imperfect Information. CoRR abs/0706.2619 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.