Data-Driven Reachability Analysis with Christoffel Functions.

Alex Devonport Forest Yang Laurent El Ghaoui Murat Arcak

Published in: CoRR (2021)

Keyphrases

data driven
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
real time
np complete