Laurent Doyen
Laurent Doyen
CNRS - LSV, ENS Cachan
Verified email at lsv.fr - Homepage
Title
Cited by
Cited by
Year
Algorithms for omega-regular games with imperfect information
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
International Workshop on Computer Science Logic, 287-302, 2006
1932006
Antichains: A new algorithm for checking universality of finite automata
M De Wulf, L Doyen, TA Henzinger, JF Raskin
International Conference on Computer Aided Verification, 17-30, 2006
1842006
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1342010
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
ACM Transactions on Computational Logic (TOCL) 11 (4), 23, 2010
1312010
Quantitative languages
K Chatterjee, L Doyen, TA Henzinger
International Workshop on Computer Science Logic, 385-400, 2008
1182008
Faster algorithms for mean-payoff games
L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin
Formal methods in system design 38 (2), 97-118, 2011
1172011
Interface theories with component reuse
L Doyen, TA Henzinger, B Jobstmann, T Petrov
Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008
922008
Energy parity games
K Chatterjee, L Doyen
Theoretical Computer Science 458, 49-60, 2012
912012
Almost ASAP semantics: From timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 296-310, 2004
882004
Antichain algorithms for finite automata
L Doyen, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2010
812010
Expressiveness and closure properties for quantitative languages
K Chatterjee, L Doyen, TA Henzinger
2009 24th Annual IEEE Symposium on Logic In Computer Science, 199-208, 2009
812009
Energy parity games
K Chatterjee, L Doyen
International Colloquium on Automata, Languages, and Programming, 599-610, 2010
772010
The complexity of multi-mean-payoff and multi-energy games
Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin
Information and Computation 241, 177-196, 2015
762015
The complexity of multi-mean-payoff and multi-energy games
Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin
arXiv preprint arXiv:1209.3234, 2012
762012
Robustness and implementability of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
762004
Robust safety of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Methods in System Design 33 (1-3), 45-84, 2008
752008
Energy and mean-payoff games with imperfect information
A Degorre, L Doyen, R Gentilini, JF Raskin, S Toruńczyk
International Workshop on Computer Science Logic, 260-274, 2010
732010
Almost ASAP semantics: from timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
Formal Aspects of Computing 17 (3), 319-341, 2005
722005
A lattice theory for solving games of imperfect information
M De Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 153-168, 2006
712006
Antichains: Alternative algorithms for LTL satisfiability and model-checking
M De Wulf, L Doyen, N Maquet, JF Raskin
International Conference on Tools and Algorithms for the Construction and …, 2008
682008
The system can't perform the operation now. Try again later.
Articles 1–20