Follow
Rajarshi Roy
Title
Cited by
Cited by
Year
Learning Interpretable Models in the Property Specification Language
R Roy, D Fisman, D Neider
IJCAI 2020, 2020
222020
Learning Linear Temporal Properties from Noisy Data: a MaxSAT-Based Approach
JR Gaglione, D Neider, R Roy, U Topcu, Z Xu
Automated Technology for Verification and Analysis: 19th International …, 2021
21*2021
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
R Raha, R Roy, N Fijalkow, D Neider
Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022
202022
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ...
Automated Technology for Verification and Analysis: 19th International …, 2021
16*2021
MaxSAT-Based Temporal Logic Inference from Noisy Data
JR Gaglione, D Neider, R Roy, U Topcu, Z Xu
Innovations in Systems and Software Engineering 18 (3), 427-442, 2022
72022
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks
B Böing, R Roy, E Müller, D Neider
Machine Learning and Knowledge Discovery in Databases: European Conference …, 2021
72021
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search
B Barbot, B Bollig, A Finkel, S Haddad, I Khmelnitsky, M Leucker, ...
International Conference on Grammatical Inference, 113-129, 2021
62021
Learning interpretable temporal properties from positive examples only
R Roy, JR Gaglione, N Baharisangari, D Neider, Z Xu, U Topcu
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6507-6515, 2023
52023
Robust Computation Tree Logic
SP Nayak, D Neider, R Roy, M Zimmermann
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022
52022
Specification sketching for linear temporal logic
S Lutz, D Neider, R Roy
International Symposium on Automated Technology for Verification and …, 2023
42023
Synthesizing efficiently monitorable formulas in metric temporal logic
R Raha, R Roy, N Fijalkow, D Neider, GA Pérez
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
Analysis of recurrent neural networks via property-directed verification of surrogate models
I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ...
International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023
32023
Expanding the Horizon of Linear Temporal Logic Inference for Explainability
D Neider, R Roy
2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022
22022
Inferring properties in computation tree logic
R Roy, D Neider
arXiv preprint arXiv:2310.13778, 2023
12023
Learning Temporal Properties is NP-hard
B Bordais, D Neider, R Roy
arXiv preprint arXiv:2312.11403, 2023
2023
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
Y Paliwal, R Roy, JR Gaglione, N Baharisangari, D Neider, X Duan, ...
arXiv preprint arXiv:2306.13732, 2023
2023
Analyzing Robustness of Angluin's L Algorithm in Presence of Noise
L Ye, I Khmelnitsky, S Haddad, B Barbot, B Bollig, M Leucker, D Neider, ...
arXiv preprint arXiv:2306.08266, 2023
2023
Learning Temporal Logic Properties: an Overview of Two Recent Methods
JR Gaglione, R Roy, N Baharisangari, D Neider, Z Xu, U Topcu
arXiv preprint arXiv:2212.00916, 2022
2022
Introducing Quality Guarantees for Autoencoders
B Böing, R Roy, D Neider, E Müller
3rd Workshop on Artificial Intelligence and Formal Verification, Logic …, 2021
2021
On Verifying TSO Robustness for Event-Driven Asynchronous Programs
A Bouajjani, C Enea, M Mukund, R Roy
International Conference on Networked Systems, 225-239, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20