Atanu Kundu
I am a final-year PhD student at the School of Mathematical and Computational Sciences, IACS Kolkata, advised by Dr. Rajarshi Ray. My research focuses on the verification and falsification of Cyber-Physical Systems (CPS).
I am a final-year PhD student at the School of Mathematical and Computational Sciences, IACS Kolkata, advised by Dr. Rajarshi Ray. My research focuses on the verification and falsification of Cyber-Physical Systems (CPS).
2026
Our paper “Falsification of Cyber-Physical Systems using Causation-aware Reinforcement Learning” has been accepted at the 29th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2026), part of HSCC/ICCPS, to be held during CPS-IoT Week 2026 in Saint-Malo, France.
February 2026
I presented a poster titled “FlexiFal: A Surrogate-Assisted Falsification Framework for Cyber-Physical Systems” at ARCS 2026, co-located with the ACM India Annual Event, held at IIT Hyderabad.
December 2025
I delivered a talk titled “Data-Driven Falsification of Cyber-Physical Systems” and presented a poster titled “A CEGAR-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems” at the RHPL Workshop, held as part of FSTTCS 2025 at BITS Pilani Goa.
September 2025
Our paper “Data-Driven Falsification of Cyber-Physical Systems” has been accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).
July 2025
FlexiFal — a surrogate-assisted falsification framework for CPS with improved surrogate training.
My current research interest is the verification of compositional CPS, where several system components are connected to form a complex CPS. Additionally, I am working on surrogate model based falsification frameworks, where several machine learning models utilized as surrogate models.
For more details,
Download CVI formulate the discrete structure of hybrid automata as quantifier-free logical constraints to capture paths from initial to forbidden locations. By solving these constraints using the Z3 solver, the approach extracts truth assignments that guide reachability analysis toward unsafe regions. This encoding scales naturally to compositional hybrid systems, enabling the analysis of complex system interactions.
In this project, I develop feed-forward neural network (FNN) models for CPS, including hybrid automata and Simulink models. The constructed networks capture systems with linear and nonlinear dynamics, as well as time-varying input signals. These FNNs serve as surrogate models of the original systems and are leveraged to support applications such as analysis, verification, and falsification.
Authors: C. Menghi, T. Khandait, A. Kundu, et al.
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH25), 2025
Authors: L. Bu, A. Kundu , R. Ray, and Y. Shi
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH25), 2025
Authors: A. Kundu , P. Sarkar, and R. Ray
arXiv preprint arXiv:2509.03560, 2025
Authors: Atanu Kundu, Sauvik Gon, and Rajarshi Ray
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2025
Authors: Atanu Kundu, Sauvik Gon, and Rajarshi Ray
17th Innovations in Software Engineering Conference, ISEC, 2024
Authors: C. Menghi, T. Khandait, A. Kundu, et al.
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24), 2024
Authors: L. Bu, A. Kundu , R. Ray, and Y. Shi
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24), 2024
Authors: Atanu Kundu, Sarthak Das, and Rajarshi Ray
ACM Transactions on Embedded Computing Systems (TECS), 2023
Authors: C. Menghi, P. Arcaini, A. Kundu, et al.
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
Authors: L. Bu, G. Frehse, A. Kundu, R. Ray, Y. Shi, and E. Zaffanella
International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
Teaching Assistant — Spring 2022
Teaching Assistant — Autumn 2023
Interested in collaboration, mentoring, or discussion? Get in touch!
Email MeSchool of Mathematical and Computational Sciences
Indian Association for the Cultivation of Science (IACS)
Jadavpur, Kolkata – 700032, India