Scholar

Rajarshi Ray

Google Scholar ID: IfVWgecAAAAJ

Indian Association for the Cultivation of Science, Kolkata

Formal Verificationmodel checking

Google Scholar↗

Citations & Impact

All-time

Citations

806

H-index

11

i10-index

12

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems

2025

Cited

0

Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems

2025

Cited

0

NTIRE 2025 Challenge on Image Super-Resolution ($ imes$4): Methods and Results

2025

Cited

0

AUTONAV: A Toolfor Autonomous Navigation of Robots

2025

Cited

0

Data-Driven Falsification of Cyber-Physical Systems

International Symposium on Electronic Commerce · 2024

Cited

3

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)