Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles)
Identifiers
- name variant Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles) 0.60 · backfill
Papers (5)
- Constrained Existence Problem for Weak Subgame Perfect Equilibria with $\omega$-Regular Boolean Objectives cs.GT · 2018 · author #4
- The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results cs.LO · 2016 · author #13
- Compositional Algorithms for Succinct Safety Games cs.LO · 2016 · author #3
- AbsSynthe: abstract synthesis from succinct safety specifications cs.LO · 2014 · author #3
- Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes cs.LO · 2014 · author #3
Mentions
Frequent Coauthors
- Guillermo A. P\'erez (Universit\'e Libre de Bruxelles) 3 shared papers
- Ocan Sankur (Universit\'e Libre de Bruxelles) 2 shared papers
- Romain Brenguier (Universit\'e Libre de Bruxelles) 2 shared papers
- V\'eronique Bruy\`ere (Universit\'e de Mons) 2 shared papers
- Aaron Bohy (Universit\'e de Mons) 1 shared papers
- Adam Walker (Independent Researcher) 1 shared papers
- Alexander Legg (Data 61 1 shared papers
- Aline Goeminne (Universit\'e de Mons) 1 shared papers
- Ayrat Khalimov (Graz University of Technology) 1 shared papers
- CSIRO (formerly NICTA) 1 shared papers
- Felix Klein (Saarland University) 1 shared papers
- IRISA) 1 shared papers
- Jens Kreber (Saarland University) 1 shared papers
- Leander Tentrup (Saarland University) 1 shared papers
- Leonid Ryzhyk (Samsung Research America) 1 shared papers
- Martina Seidl (Johannes-Kepler-University Linz) 1 shared papers
- Nina Narodytska (Samsung Research America) 1 shared papers
- Ocan Sankur (CNRS 1 shared papers
- Robert K\"onighofer (Graz University of Technology) 1 shared papers
- Roderick Bloem (Graz University of Technology) 1 shared papers