Atanu Kundu

Orcid: 0000-0001-9416-6957

Affiliations:

Indian Association for the Cultivation of Science, School of Mathematical and Computational Sciences, Kolkata, India

According to our database¹, Atanu Kundu authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Data-Driven Falsification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., March, 2023