C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Current Challenges in the Verification of Hybrid Systems.
Stefan Schupp
Erika Ábrahám
Xin Chen
Ibtissem Ben Makhlouf
Goran Frehse
Sriram Sankaranarayanan
Stefan Kowalewski
Published in:
CyPhy (2015)
Keyphrases
</>
hybrid systems
current challenges
future directions
utmost importance
intelligent systems
black box
discrete event
soft computing
meta learning
neural network
artificial intelligence
computational intelligence
academic researchers
genetic algorithm
object oriented
base classifiers