pith. sign in

Mathieu Sassolas

Identifiers

  • name variant Mathieu Sassolas 0.60 · backfill

Papers (4)

  1. Non-Zero Sum Games for Reactive Synthesis cs.LO · 2015 · author #8
  2. Probabilistic Opacity in Refinement-Based Modeling cs.CR · 2015 · author #4
  3. Polynomial Interrupt Timed Automata cs.FL · 2015 · author #5
  4. The Complexity of Admissibility in Omega-Regular Games cs.GT · 2013 · author #3

Mentions

  • 1304.1682 #3 · backfill · confidence 0.70 Mathieu Sassolas

Frequent Coauthors