HSCC: Hybrid Systems - Computation and Control

Published by: Springer  

Groups

  1. Henzinger Group (15)
  2. Chatterjee Group (8)
  3. Alumni (2)
  4. IST Fellow (1)

Results (20)

  • Robust undecidability of timed and hybrid systems
    Conference paper
  • Reachability verification for hybrid automata
    Conference paper