Formal Verification of Multi-agent Plans for Vehicle Platooning.
Thao Nguyen VanKurt GeihsPublished in: ICCASA/ICTCC (2020)
Keyphrases
- formal verification
- multi agent
- model checking
- pedestrian detection
- automated verification
- bounded model checking
- planning under uncertainty
- model checker
- symbolic model checking
- reinforcement learning
- multiagent systems
- cooperative
- real time
- plan recognition
- plan generation
- vehicle detection
- intelligent agents
- multiple agents
- traffic accidents
- planning problems
- human body
- single agent
- multi agent systems
- autonomous vehicles
- domain specific
- program slicing
- planning domains
- knowledge base