ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Goran Frehse; Atanu Kundu 002; Rajarshi Ray 001; Yuhui Shi; Enea Zaffanella (ARCH@SAFECOMP, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems. - Atanu Kundu 002; Sarthak Das; Rajarshi Ray 001 (ACM Trans. Embed. Comput. Syst., 2023)

Data-Driven Falsification of Cyber-Physical Systems. - Atanu Kundu 002; Sauvik Gon; Rajarshi Ray 001 (ISEC, 2024)