conf.researchr.org / Atanu Kundu
Registered user since Wed 17 Jan 2024
Name:Atanu Kundu
Country:India
Affiliation:Indian Association for the Cultivation of Science Kolkata
Personal website: https://atanucs.github.io/
X (Twitter): https://x.com/atanucs007
Research interests:Bounded Model Checking, Cyber-Physical Systems, Machine Learning
Contributions