Reachability Analysis of Non-linear Planar Autonomous Systems.
Hallstein Asheim HansenGerardo SchneiderMartin SteffenPublished in: FSEN (2011)
Keyphrases
- autonomous systems
- reachability analysis
- markov decision processes
- model checking
- uncertain environments
- timed automata
- dynamic environments
- autonomous navigation
- incremental algorithms
- state space
- optimal policy
- learning strategies
- path planning
- artificial intelligence
- information fusion
- unmanned aerial vehicles
- dynamic programming
- computer vision