Open Publishing Association

SHERPA: unknown

Groups

  1. Chatterjee Group (3)
  2. Henzinger Group (2)
  3. Guet Group (1)
  4. IST Fellow (1)

Results (5)

  • Lumpability abstractions of rule-based systems
    Conference paper
  • Causality-based model checking
    Conference paper
  • How do we remember the past in randomised strategies?
    Conference paper
  • First cycle games
    Conference paper
  • A Myhill Nerode theorem for automata with advice
    Conference paper
  • Open Publishing Association – authorized name for: