Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis.
Pascal MinnerupAlois C. KnollPublished in: Intelligent Vehicles Symposium (2016)
Keyphrases
- temporal logic
- dynamic analysis
- model checking
- autonomous vehicles
- state space
- malicious behavior
- static analysis
- modal logic
- structured environments
- reverse engineering
- path planning
- verification method
- mazurkiewicz traces
- obstacle avoidance
- formal specification
- computation tree logic
- linear temporal logic
- reinforcement learning
- qualitative differential equations
- dynamical systems
- heuristic search
- transition systems
- symbolic model checking
- real time
- formal methods
- markov decision processes
- epistemic logic
- multi agent
- search space
- multiagent systems
- case study
- knowledge base
- belief revision