Personal information

Activities

Collapse all

Education and qualifications (1)

Indian Association for the Cultivation of Science: Kolkata, IN

2020-10-01 to 2025-10-01 | Research Scholar (School of Mathematical & Computational Sciences)
Education
Source: Self-asserted source
Atanu Kundu

Works (2)

Data-Driven Falsification of Cyber-Physical Systems

2024-02-22 | Conference paper
DOI: 10.1145/3641399.3641401
Contributors: Atanu Kundu; Sauvik Gon; Rajarshi Ray
Source: check_circle
Crossref

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

ACM Transactions on Embedded Computing Systems
2023-03-31 | Journal article
DOI: 10.1145/3567425
Contributors: Atanu Kundu; Sarthak Das; Rajarshi Ray
Source: check_circle
Crossref
How many people are using ORCID?