Results (12)

  • Hybrid automata with finite bisimulations
    Conference paper
  • The expressive power of clocks
    Conference paper
  • A user guide to HyTech
    Conference paper
  • HyTech: The next generation
    Conference paper