XANDAR: Verification & Validation Approach for Safety-critical Systems.
Balmukund SonigaraSakir SezerFahad SiddiquiRaphael WeberKonstantinos AntonopoulosChristos PanagiotouChristos P. AntonopoulosGeorgios KeramidasNikolaos S. VorosSena Yengec TasdemirHenry HuiKieran McLaughlinPublished in: SOCC (2023)