Login / Signup
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.
Marcelo Forets
Daniel Freire
Christian Schilling
Published in:
MEMOCODE (2020)
Keyphrases
</>
hybrid systems
reachability analysis
neural network
black box
discrete event
intelligent systems
machine learning
knowledge base
decision trees
reinforcement learning
model checking
markov decision processes
learning tasks
meta learning