Login / Signup
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.
Andreas Abel
Allon Adir
Torsten Blochwitz
Lev Greenberg
Tamer Salman
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
hybrid systems
neural network
real world
software engineering
intelligent systems
meta learning
soft computing
discrete event
case study
black box
knowledge intensive
artificial intelligence
decision making
search algorithm
object oriented
dynamic systems