Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios.
Ran TianAnjian LiMasayoshi TomizukaLiting SunPublished in: CoRR (2021)
Keyphrases
- multi agent systems
- multi agent
- model checking
- real world
- cooperative
- user interaction
- web services
- state space
- electronic commerce
- virtual reality
- software agents
- safety analysis
- formal verification
- automated negotiation
- multi issue negotiation
- multi agent coordination
- intelligent vehicles
- face verification
- virtual environment
- computer vision