research
∙
02/14/2019
Assurance of System Safety: A Survey of Design and Argument Patterns
The specification, design, and assurance of safety encompasses various c...
share
research
∙
11/05/2018
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
This report summarizes the discussions, open issues, take-away messages,...
research
∙
02/22/2018
