Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. HSCC: Hybrid Systems - Computation and Control (8)
  3. CSL: Computer Science Logic (7)
  4. ICALP: Automata, Languages and Programming (7)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (7)

More Publications

Affiliation
  1. IST Austria (91)
Peer reviewed
  1. no (71)
  2. yes (47)
Invited
  1. no (117)
  2. yes (1)

Results (118)

  • Games with a weak adversary
    Conference paper
  • The complexity of ergodic mean payoff games
    Conference paper
  • Rabinizer 3: Safraless translation of ltl to small deterministic automata
    Conference paper
  • Partial-observation stochastic reachability and parity games
    Conference paper