Sauvik Gon

According to our database, Sauvik Gon authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Data-Driven Falsification of Cyber-Physical Systems.

Atanu Kundu, Sauvik Gon, Rajarshi Ray

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

ARCH-COMP23 Category Report: Falsification.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023