Philippe Schnoebelen (LSV
Identifiers
- name variant Philippe Schnoebelen (LSV 0.60 · backfill
Papers (2)
- On Reachability for Unidirectional Channel Systems Extended with Regular Tests cs.LO · 2014 · author #4
- Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor cs.LO · 2012 · author #2
Mentions
Frequent Coauthors
- ENS Cachan) 2 shared papers
- CNRS 1 shared papers
- CNRS & ENS Cachan) 1 shared papers
- Jancar Petr (Techn. Univ. Ostrava) 1 shared papers
- Nathalie Bertrand (INRIA Rennes Bretagne Atlantique) 1 shared papers
- Prateek Karandikar (Chennai Mathematical Institute (CMI) & LSV 1 shared papers