Pinned Repositories
safeautonomy's Repositories
safeautonomy/ComOpT
ComOpT is a research tool for coverage-driven and constraint-driven testing of autonomous driving systems.
safeautonomy/WebGSN
A web-based tool for viewing and modifying assurance arguments in Goal-Structured-Notation (GSN), with capabilities to store as a local file or into a database