Login / Signup
Sauvik Gon
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Embedded Systems
Physical World
Cyber Physical Systems
Similarity Measure
Top Venues
ISEC
ARCH
</>
Publications
</>
Atanu Kundu
,
Sauvik Gon
,
Rajarshi Ray
Data-Driven Falsification of Cyber-Physical Systems.
ISEC
(2024)
Claudio Menghi
,
Paolo Arcaini
,
Walstan Baptista
,
Gidon Ernst
,
Georgios Fainekos
,
Federico Formica
,
Sauvik Gon
,
Tanmay Khandait
,
Atanu Kundu
,
Giulia Pedrielli
,
Jarkko Peltomäki
,
Ivan Porres
,
Rajarshi Ray
,
Masaki Waga
,
Zhenya Zhang
ARCH-COMP23 Category Report: Falsification.
ARCH
(2023)