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)

  • Energy parity games
    Conference paper
  • Randomness for free
    Conference paper
  • Alternating weighted automata
    Conference paper
  • Stochastic games with finitary objectives
    Conference paper