Rigorous Safety Analysis and Design of ADAS and ADS: Implications on Tools.

Published in: CoRR (2024)

Keyphrases

information systems
decision support
safety analysis
multi agent
learning environment
user interface
intelligent agents
heuristic search
software architecture
embedded systems
formal methods
safety critical