ask others

Laurent Doyen 0001

> Home > Persons

Person information

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

2010 – today

see FAQ

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

2019
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/DoyenMS19
- ask others
- share record
  short 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)
2018
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - reference/mc/0001FPP18
- ask others
- share record
  short 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
[i28]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-03642
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1809-05978
- ask others
- share record
  short 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)
2017
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/ChatterjeeDFR17
- ask others
- share record
  short 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)
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Chatterjee0H17
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/Doyen17
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/icalp/Chatterjee016
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/lics/Chatterjee016
- ask others
- share record
  short 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
[i26]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/0001MS16a
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/Chatterjee016
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/Chatterjee016a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Chatterjee016a
Krishnendu Chatterjee, Laurent Doyen:
Computation Tree Logic for Synchronization Properties. CoRR abs/1604.06384 (2016)
2015
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/VelnerC0HRR15
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/iandc/Chatterjee0RR15
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/iandc/Chatterjee0GH15
- ask others
- share record
  short 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)
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/Chatterjee0V15
- ask others
- share record
  short 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
[i23]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Chatterjee0V15
- ask others
- share record
  short 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
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tocl/Chatterjee014
- ask others
- share record
  short 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)
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/0001MS14
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fossacs/0001MS14
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fossacs/Chatterjee0GO14
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fossacs/Chatterjee0NV14
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fsttcs/0001JLMS14
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/Chatterjee014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/Chatterjee014
Krishnendu Chatterjee, Laurent Doyen:
Games with a Weak Adversary. ICALP (2) 2014: 110-121
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/Chatterjee0FR14
- ask others
- share record
  short 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
[i22]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Chatterjee0NV14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/0001MS14
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/Chatterjee014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Chatterjee014
Krishnendu Chatterjee, Laurent Doyen:
Games with a Weak Adversary. CoRR abs/1404.5453 (2014)
2013
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Chatterjee0H13
- ask others
- share record
  short 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 in System Design 43(2): 268-284 (2013)
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/Brihaye0GORW13
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/Chatterjee0RR13
- ask others
- share record
  short 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
[i19]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1302-4248
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/0001MS13a
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/Chatterjee0FR13
- ask others
- share record
  short 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
[j11]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/tcs/ChatterjeeD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ChatterjeeD12
Krishnendu Chatterjee, Laurent Doyen:
Energy parity games. Theor. Comput. Sci. 458: 49-60 (2012)
[c37]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/ChatterjeeD12
- ask others
- share record
  short 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
[i16]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1206-0995
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1209-3234
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1211-1276
- ask others
- share record
  short 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
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BrimCDGR11
- ask others
- share record
  short 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 in System Design 38(2): 97-118 (2011)
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/BrihayeBDDR11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/ChatterjeeDS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/ChatterjeeDS11
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh:
On Memoryless Quantitative Objectives. FCT 2011: 148-159
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/BrihayeDGORW11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/memics/ChatterjeeD11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChatterjeeD11
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/DoyenMS11
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1102-4121
- ask others
- share record
  short 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
[i13]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1104-2909
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1104-3211
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1104-5335
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1107-2141
- ask others
- share record
  short 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
[j9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1007-4018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4018
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. Logical Methods in Computer Science 6(3) (2010)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/BerwangerCWDH10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tocl/ChatterjeeDH10
- ask others
- share record
  short 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)
[c29]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/DoyenHLN10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ChatterjeeDEHR10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DegorreDGRT10
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fsttcs/ChatterjeeDHR10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/ChatterjeeD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeD10
Krishnendu Chatterjee, Laurent Doyen:
Energy Parity Games. ICALP (2) 2010: 599-610
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/ChatterjeeD10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDGH10
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChatterjeeDH10
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/tacas/DoyenR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DoyenR10
Laurent Doyen, Jean-François Raskin:
Antichain Algorithms for Finite Automata. TACAS 2010: 2-22
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1001-5183
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1006-0673
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1006-1492
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1007-1669
- ask others
- share record
  short 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)

2000 – 2009

see FAQ

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

2009
[j6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0902-3958
- ask others
- share record
  short 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. Logical Methods in Computer Science 5(1) (2009)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ChatterjeeDH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Probabilistic Weighted Automata. CONCUR 2009: 244-258
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/ChatterjeeDH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/ChatterjeeDH09
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Alternating Weighted Automata. FCT 2009: 3-13
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/DoyenGRR09
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/ChatterjeeDH09
- ask others
- share record
  short 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
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/ChatterjeeDH09
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/tacas/BerwangerCWDH09
- ask others
- share record
  short 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
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0901-4728
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-0905-2195
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-0909-1645
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-0909-1647
- ask others
- share record
  short 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)
2008
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/WulfDMR08
- ask others
- share record
  short 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 in System Design 33(1-3): 45-84 (2008)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/DoyenHR08
- ask others
- share record
  short 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)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/WulfDMR08
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BerwangerCDHR08
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ChatterjeeDH08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ChatterjeeDH08
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative Languages. CSL 2008: 385-400
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/emsoft/DoyenHJP08
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/fsttcs/BerwangerD08
- ask others
- share record
  short 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
- export record
  dblp key:
  - conf/tacas/WulfDMR08
- ask others
- share record
  short 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
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Doyen07
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/lmcs/RaskinCDH07
- ask others
- share record
  short 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. Logical Methods in Computer Science 3(3) (2007)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DoyenR07
- ask others
- share record
  short 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
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0706-2619
- ask others
- share record
  short 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)
2006
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/WulfDHR06
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ChatterjeeDHR06
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/WulfDR06
- ask others
- share record
  short 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
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/WulfDR05
- ask others
- share record
  short 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 Asp. Comput. 17(3): 319-341 (2005)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/WulfDR05
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/DoyenHR05
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/WulfDMR04
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/WulfDR04
- ask others
- share record
  short 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

Coauthor Index

see FAQ

maintained by

, founded at