Data-Driven Reachability Analysis Using Matrix Zonotopes.

Amr Alanwar Anne Koch Frank Allgöwer Karl Henrik Johansson

Published in: L4DC (2021)

Keyphrases

data driven
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
singular value decomposition
linear algebra
bayesian networks
reinforcement learning
natural language
optimal policy
first order logic
qualitative and quantitative