Author Info
Name
Papers
Collaborators
ROY RAJARSHI
2
11
Citations 
PageRank 
Referers 
2
0.73
6
Referees 
References 
0
0
Title
Citations
PageRank
Year
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks00.342021
Learning Interpretable Models in the Property Specification Language20.392020