Identifying and Explaining Safety-critical Scenarios for Autonomous Vehicles via Key Features.
NeelofarAldeida AletiPublished in: ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
- key features
- safety critical
- autonomous vehicles
- formal methods
- path planning
- structured environments
- fault tolerant
- agent architecture
- obstacle avoidance
- embedded systems
- safety analysis
- mobile robot
- real time
- autonomous agents
- multiagent systems
- robot control
- support systems
- intelligent agents
- regulatory requirements
- dynamic environments
- decision support system
- multi agent