Login / Signup

Reachability Analysis of Linear System.

Shiping ChenXinyu Ge
Published in: CoRR (2022)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • incremental algorithms
  • timed automata
  • linear systems
  • learning algorithm
  • least squares
  • fixed point
  • theorem proving
  • linear model