Login / Signup

Data-Driven Reachability Analysis with Christoffel Functions.

Alex DevonportForest YangLaurent El GhaouiMurat Arcak
Published in: CDC (2021)
Keyphrases
  • data driven
  • reachability analysis
  • model checking
  • markov decision processes
  • incremental algorithms
  • timed automata
  • real time
  • dynamic programming