Keyphrases
- linear systems
- reachability analysis
- model checking
- markov decision processes
- sufficient conditions
- timed automata
- linear equations
- dynamical systems
- state space
- coefficient matrix
- incremental algorithms
- sparse linear systems
- reinforcement learning
- optimal policy
- dynamic programming
- artificial neural networks
- expert systems
- search algorithm
- real time