Jean-Francois Raskin
Identifiers
- name variant Jean-Francois Raskin 0.60 · backfill
Papers (6)
- The Complexity of Multi-Mean-Payoff and Multi-Energy Games cs.GT · 2012 · author #6
- Controllers with Minimal Observation Power (Application to Timed Systems) cs.SY · 2012 · author #5
- Generalized Mean-payoff and Energy Games cs.LO · 2010 · author #4
- Antichains for the Automata-Based Approach to Model-Checking cs.LO · 2009 · author #2
- Real-Time Model-Checking: Parameters everywhere cs.LO · 2007 · author #2
- A Classification of Symbolic Transition Systems cs.LO · 2001 · author #3
Mentions
Frequent Coauthors
- Laurent Doyen 3 shared papers
- Thomas A. Henzinger 3 shared papers
- Krishnendu Chatterjee 2 shared papers
- Alexander Rabinovich 1 shared papers
- Alexandre David 1 shared papers
- Franck Cassez 1 shared papers
- Kim G. Larsen 1 shared papers
- Peter Bulychev 1 shared papers
- Pierre-Alain Reynier 1 shared papers
- Rupak Majumdar 1 shared papers
- Veronique Bruyere 1 shared papers
- Yaron Velner 1 shared papers