Login / Signup
Reachability Analysis of Linear System.
Shiping Chen
Xinyu 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