Refine Results
Publications
  1. LICS: Logic in Computer Science (15)
  2. FOCS: Foundations of Computer Science (5)
  3. QEST: Quantitative Evaluation of Systems (5)
  4. RTSS: Real-Time Systems Symposium (4)
  5. ICCAD: Computer-Aided Design (3)

More Publications

Affiliation
  1. IST Austria (19)
Peer reviewed
  1. no (49)
  2. yes (10)
Invited
  1. no (57)
  2. yes (2)

Results (59)

  • Parallel reachability analysis for hybrid systems
    Conference paper
  • The target discounted-sum problem
    Conference paper
  • Nested weighted automata
    Conference paper