CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles.
Edmond Irani LiuGerald WürschingMoritz KlischatMatthias AlthoffPublished in: ITSC (2022)
Keyphrases
- reachability analysis
- model checking
- markov decision processes
- timed automata
- real time
- state space
- software package
- semi automated
- low cost
- distributed systems
- incremental algorithms
- travel time
- inference rules
- data mining
- vehicle detection
- traffic flow
- search algorithm
- image sequences
- mobile robot
- relational databases