Login / Signup

Hybrid automata: from verification to implementation.

Stanley BakOmar Ali BegSergiy BogomolovTaylor T. JohnsonLuan Viet NguyenChristian Schilling
Published in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
  • hybrid automata
  • finite state automata
  • neural network
  • database
  • utility function