Login / Signup
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.
Marcelo Forets
Daniel Freire
Christian Schilling
Published in:
CoRR (2020)
Keyphrases
</>
hybrid systems
reachability analysis
markov decision processes
black box
meta learning
decision making
optimal solution
intelligent systems
mathematical model
machine learning
control system
distributed systems
model checking