Login / Signup
Rigorous Simulation-Based Analysis of Linear Hybrid Systems.
Stanley Bak
Parasara Sridhar Duggirala
Published in:
TACAS (1) (2017)
Keyphrases
</>
hybrid systems
neural network
artificial intelligence
training data
data analysis
orders of magnitude
discrete event