Statistics
Publications
1
Citations
15
H-Index
1
Active since
2023
Affiliations
Kyoto University(Current)
Sauvik Gon is an author at Kyoto University specializing in model checking, cyber-physical systems, and temporal logic specification.
Publications per year
2023–2023
1
1
ARCH-COMP23 Category Report: Falsification
Claudio Menghi, Paolo Arcaini, Walstan Baptista et al. · EPiC series in computing · 2023 · 15 citations · Full text
1–1 of 1