Author:Atanu Kundu

Publications
ARCH-COMP25 Category Report: Falsification Tanmay Khandait, Deyun Lyu, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Abdelrahman Hekal, Atanu Kundu, Claudio Menghi, Giulia Pedrielli, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP 2024 Category Report: Falsification Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga and Zhenya Zhang In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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 and Zhenya Zhang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Keyphrases

ARCH-COMP, Benchmarking³, Bounded Model Checking, Cyber-Physical Systems³, evaluation³, falsification³, Friendly Competition², hybrid system², model checker, model checking, Piecewise Constant Dynamics².