Login / Signup

Series of Abstractions for Hybrid Automata.

Ashish TiwariGaurav Khanna
Published in: HSCC (2002)
Keyphrases
  • hybrid automata
  • finite state automata
  • high level
  • np hard
  • model selection