GitHub repository: nautnatic/ans-safety-validation
Primary language: Python
Created: 2022-11-24T11:04:01Z
Description: Safety validation of Autonomous Navigation systems (ANS) through falsification