Login / Signup

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.

Eugene AsarinThao DangOded MalerOlivier Bournez
Published in: HSCC (2000)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • linear dynamical systems
  • dynamical systems
  • incremental algorithms
  • timed automata
  • state space
  • real valued
  • hidden markov models