Login / Signup

Hybrid cc, Hybrid Automata and Program Verification.

Vineet GuptaRadha JagadeesanVijay A. Saraswat
Published in: Hybrid Systems (1995)
Keyphrases
  • hybrid automata
  • finite state automata
  • hybrid learning
  • hybrid approaches
  • dynamic programming
  • knowledge based systems