Refine Results
Publications
  1. CAV: Computer Aided Verification (49)
  2. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (17)
  3. ICALP: Automata, Languages and Programming (16)
  4. HSCC: Hybrid Systems - Computation and Control (15)
  5. Formal Methods in System Design (11)

More Publications

Affiliation
  1. IST Austria (114)
Peer reviewed
  1. no (174)
  2. yes (73)
Invited
  1. no (245)
  2. yes (2)

Results (247)

  • Conic abstractions for hybrid systems
    Conference paper