Statistics
Publications
1
Citations
23
H-Index
1
Active since
2021
Affiliations
Aniruddh Chandratre is an author at École Nationale Supérieure de Techniques Avancées specializing in systems engineering, input validation, and cyber-physical systems safety.
Publications per year
2021–2021
1
1
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2021 · 23 citations · Full text
1–1 of 1