Intertwined Forward-Backward Reachability Analysis Using Interpolants.
Yakir VizelOrna GrumbergSharon ShohamPublished in: TACAS (2013)
Keyphrases
- reachability analysis
- forward backward
- markov decision processes
- model checking
- hidden markov models
- timed automata
- incremental algorithms
- computational geometry
- state space
- dynamic programming
- temporal logic
- parametric curves
- reinforcement learning
- probabilistic model
- optimal policy
- computer vision
- linear program
- partially observable
- optimal solution