Refine Results
Publications
  1. CAV: Computer Aided Verification (48)
  2. HSCC: Hybrid Systems - Computation and Control (15)
  3. ICALP: Automata, Languages and Programming (15)
  4. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (15)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (11)

More Publications

Affiliation
  1. IST Austria (100)
Peer reviewed
  1. no (170)
  2. yes (63)
Invited
  1. no (232)
  2. yes (1)

Results (233)

  • Dynamic resource allocation games
    Conference paper