Login / Signup

On the Existence of Solutions to Controlled Hybrid Automata.

Michael D. Lemmon
Published in: HSCC (2000)
Keyphrases
  • hybrid automata
  • optimal solution
  • pattern matching
  • finite state automata
  • benchmark problems