Refine Results
Publications
  1. CAV: Computer Aided Verification (14)
  2. VMCAI: Verification, Model Checking and Abstract Interpretation (6)
  3. CONCUR: Concurrency Theory (5)
  4. Information and Computation (5)
  5. LICS: Logic in Computer Science (5)

More Publications

Affiliation
  1. IST Austria (115)
Peer reviewed
  1. yes (67)
  2. no (54)
Invited
  1. no (120)
  2. yes (1)

Results (121)

  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Parallel reachability analysis for hybrid systems
    Conference paper
  • Dynamic resource allocation games
    Conference paper