Login / Signup
The Algorithmic Analysis of Hybrid Systems.
Rajeev Alur
Costas Courcoubetis
Nicolas Halbwachs
Thomas A. Henzinger
Pei-Hsin Ho
Xavier Nicollin
Alfredo Olivero
Joseph Sifakis
Sergio Yovine
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
hybrid systems
control system
learning algorithm
artificial intelligence
search algorithm
training set
multi class
genetic programming
machine learning algorithms