Atanu Kundu

Employment

• Kyoto University Postdoctoral Researcher
  2026 - Present
• Indian Association for the Cultivation of Science Senior Research Feloow
  2022 - 2026

Education

• Indian Association for the Cultivation of Science Doctor of Philosophy
  2020 - 2026

Projects & Funding

Projects & funding information is unavailable.

Publications (13)

• Data-Driven Falsification of Cyber-Physical Systems
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2026 DOI: 10.1109/TCAD.2025.3608632
  +Save
• ARCH-COMP 2026 Category Report:Falsification
  Epic Series in Computing 2026
  +Save
• ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
  Epic Series in Computing 2026
  +Save
• A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
  Arxiv 2025 DOI: 10.48550/arXiv.2509.03560
  +Save
• ARCH-COMP 2025 Category Report: Falsification
  Epic Series in Computing 2025 DOI: 10.29007/dgnn
  +Save
• ARCH-COMP25 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
  Epic Series in Computing 2025 DOI: 10.29007/x3nv
  +Save
• Data-Driven Falsification of Cyber-Physical Systems
  Arxiv 2025 DOI: 10.48550/arXiv.2505.03863
  +Save
• ARCH-COMP 2024 Category Report: Falsification
  Epic Series in Computing 2024 DOI: 10.29007/hgfv
  +Save
• ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
  Epic Series in Computing 2024 DOI: 10.29007/nv67
  +Save
• Data-Driven Falsification of Cyber-Physical Systems
  ACM International Conference Proceeding Series 2024 DOI: 10.1145/3641399.3641401
  +Save