Rajarshi Roy

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 33

Top Topics

Recurrent Neural Networks

Top Venues

Innov. Syst. Softw. Eng.

Publications

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) (2024)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Learning Branching-Time Properties in CTL and ATL via Constraint Solving. CoRR (2024)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20 (1) (2024)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. J. Open Source Softw. 9 (93) (2024)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Simon Lutz, Daniel Neider, Rajarshi Roy
Specification Sketching for Linear Temporal Logic. ATVA (2023)
Rajarshi Roy, Daniel Neider
Inferring Properties in Computation Tree Logic. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR (2023)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Learning Temporal Properties is NP-hard. CoRR (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR (2022)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. TACAS (1) (2022)
Daniel Neider, Rajarshi Roy
Expanding the Horizon of Linear Temporal Logic Inference for Explainability. RE Workshops (2022)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18 (3) (2022)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. NFM (2022)
Simon Lutz, Daniel Neider, Rajarshi Roy
Specification sketching for Linear Temporal Logic. CoRR (2022)
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF (2022)
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
Robust Computation Tree Logic. CoRR (2022)
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR (2022)
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA (2021)
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
QUGA - Quality Guarantees for Autoencoders. OVERLAY@GandALF (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA (2021)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic. CoRR (2021)
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. ECML/PKDD (2) (2020)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. IJCAI (2020)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification of Recurrent Neural Networks. CoRR (2020)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. CoRR (2020)
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
On Verifying TSO Robustness for Event-Driven Asynchronous Programs. NETYS (2018)