Rajarshi Ray -

Registered user since Mon 15 Jan 2024

Name:Rajarshi Ray

Country:India

Affiliation:Indian Association for the Cultivation of Science (IACS), Kolkata

Personal website: https://www.iacs.res.in/

Research interests:Formal Verification, Cyber-Physical-Systems, Software Engineering

Contributions

2024

ISEC

Author of A Contrastive Explanation Tool for Plans in Hybrid Domains within the Research Papers-track
Author of Data-Driven Falsification of Cyber-Physical Systems within the Research Papers-track