Registered user since Wed 17 Jan 2024

Name:Atanu Kundu
Country:India
Affiliation:Indian Association for the Cultivation of Science Kolkata
Research interests:Bounded Model Checking, Cyber-Physical Systems, Machine Learning

Contributions