Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Martin FränzleWillem HagemannWerner DammAstrid RakowMani SwaminathanPublished in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
- safety critical
- road traffic
- formal methods
- fault tolerant
- safety analysis
- nuclear power plant
- agent architecture
- embedded systems
- real time
- decision making
- traffic flow
- support systems
- decision makers
- regulatory requirements
- adaptive systems
- context sensitive
- semi automatic
- decision support system
- distributed systems
- databases