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

showing all ?? records

2010 – today

see FAQ

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

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
[i27]
- 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)
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 @ acm.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 @ acm.org
- 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
- 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 via DOI
- 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 @ acm.org
- 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 @ acm.org
- 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

at