Data-Driven Reachability Analysis Using Matrix Zonotopes.

Amr Alanwar Anne Koch Frank Allgöwer Karl Henrik Johansson

Published in: CoRR (2020)

Keyphrases

data driven
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
artificial intelligence
real time
relational databases
low rank