Atanu Kundu

Atanu Kundu

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).

Gmail DBLP Google Scholar ORCID LinkedIn GitLab

News & Updates

🎤 Talk

December 2025

I will deliver a talk titled “Data-Driven Falsification of Cyber-Physical Systems” and present 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.

📢 Paper Accepted at IEEE TCAD

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).

🛠 Tool Update: FlexiFal Released

July 2025

FlexiFal — a surrogate-assisted falsification framework for CPS with improved surrogate training.

Research Interests

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.

Cyber-Physical Systems Bounded Model Checking Falsification Machine Learning for Falsification

For more details,

Download CV

Research Projects

SAT-Assisted Graph Encoding

A scalable tool leveraging SAT-solving for affine hybrid systems.

Building FNN Models for CPS

Integrates deep learning and robustness metrics for falsification of Simulink models.

Publications

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems

Authors: A. Kundu , P. Sarkar, and R. Ray

arXiv preprint arXiv:2509.03560, 2025

Data-Driven Falsification of Cyber-Physical Systems

Authors: Atanu Kundu, Sauvik Gon, and Rajarshi Ray

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2025

Data-Driven Falsification of Cyber-Physical Systems

Authors: Atanu Kundu, Sauvik Gon, and Rajarshi Ray

17th Innovations in Software Engineering Conference, ISEC, 2024

ARCH-COMP24 category report: Falsification

Authors: C. Menghi, T. Khandait, A. Kundu, et al.

International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24), 2024

ARCH-COMP24 category report: Hybrid systems with piecewise constant dynamics and bounded model checking

Authors: L. Bu, A. Kundu , R. Ray, and Y. Shi

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

SAT-Reach : A Bounded Model Checker for Affine Hybrid Systems

Authors: Atanu Kundu, Sarthak Das, and Rajarshi Ray

ACM Transactions on Embedded Computing Systems (TECS), 2023

ARCH-COMP23 category report: Falsification

Authors: C. Menghi, P. Arcaini, A. Kundu, et al.

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

ARCH-COMP22 category report: Hybrid systems with piecewise constant dynamics and bounded model checking

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

Invited Talks

Skills & Tools

Technical Skills

SAT Solving Bounded Model Checking Reachability Analysis Machine Learning Robustness Measure of a trace

Tools Developed

FlexiFal

Surrogate-Assisted Falsification Framework for CPS.
NNFal

FNN-based Falsification Framework for CPS.
SAT-Reach

Bounded model checker for affine hybrid systems.

Teaching Experience

Artificial Intelligence (Theory & Lab)

Teaching Assistant — Spring 2022

Object-Oriented Programming with C++ Lab

Teaching Assistant — Autumn 2023

Contact

Interested in collaboration, mentoring, or discussion? Get in touch!

Email Me

School of Mathematical and Computational Sciences

Indian Association for the Cultivation of Science (IACS)

Jadavpur, Kolkata – 700032, India