Ray, Rajarshi
192  results:
Search for persons X
?
1

A Contrastive Explanation Tool for Plans in Hybrid Domains:

, In: Proceedings of the 17th Innovations in Software Engineering Conference,
 
?
2

Analysis of breast cancer classification using machine lear..:

Talukder, Pratik ; Ray, Rajarshi
Biocatalysis and Agricultural Biotechnology.  58 (2024)  - p. 103195 , 2024
 
?
3

Collision-Free Linear Time Mutual Visibility for Asynchrono..:

, In: Proceedings of the 25th International Conference on Distributed Computing and Networking,
 
?
4

Data-Driven Falsification of Cyber-Physical Systems:

, In: Proceedings of the 17th Innovations in Software Engineering Conference,
Kundu, Atanu ; Gon, Sauvik ; Ray, Rajarshi - p. 1-5 , 2024
 
?
6

A Contrastive Plan Explanation Framework for Hybrid System ..:

Sarwar, Mir ; Ray, Rajarshi ; Banerjee, Ansuman
ACM Transactions on Embedded Computing Systems.  22 (2023)  2 - p. 1-51 , 2023
 
?
7

Explaining Unsolvability of Planning Problems in Hybrid Sys..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,
 
?
8

SAT-Reach: A Bounded Model Checker for Affine Hybrid System:

Kundu, Atanu ; Das, Sarthak ; Ray, Rajarshi
ACM Transactions on Embedded Computing Systems.  22 (2023)  2 - p. 1-36 , 2023
 
?
9

Adverse effects of mining pollutants on terrestrial and aqu..:

Talukder, Pratik ; Ray, Rajarshi ; Sarkar, Mainak..
Environmental Quality Management.  33 (2023)  4 - p. 595-610 , 2023
 
?
11

A Beyond Mean Field Approach to Yang-Mills Thermodynamics:

, In: Springer Proceedings in Physics; Proceedings of the XXIV DAE-BRNS High Energy Physics Symposium, Jatni, India,
 
?
13

A Lizard-Inspired Quadruped Robot Based on Pressure Sensiti..:

, In: Advances in Robotics - 5th International Conference of The Robotics Society,
Thakur, Atul ; HALDER, RAJU ; BANDA, GOURINATH... - p. 1-5 , 2021
 
?
14

Parallel simulation of cyber-physical systems:

Das, Kamal ; Gurung, Amit ; Ray, Rajarshi
Innovations in Systems and Software Engineering.  17 (2021)  3 - p. 319-331 , 2021
 
?
15

Falsification of hybrid systems with symbolic reachability ..:

Bogomolov, Sergiy ; Frehse, Goran ; Gurung, Amit...
Nonlinear Analysis: Hybrid Systems.  42 (2021)  - p. 101093 , 2021
 
1-15