Login / Signup

Verification of rectangular hybrid automata models.

Isabella KotiniGeorge Hassapis
Published in: J. Syst. Softw. (2006)
Keyphrases
  • hybrid automata
  • probabilistic model
  • statistical models
  • artificial neural networks
  • complex systems
  • experimental data