Rajarshi Roy

According to our database, Rajarshi Roy authored at least 25 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

J. Open Source Softw., January, 2024

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Analysis of recurrent neural networks via property-directed verification of surrogate models.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Int. J. Softw. Tools Technol. Transf., June, 2023

Learning Temporal Properties is NP-hard.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

CoRR, 2023

Inferring Properties in Computation Tree Logic.

Rajarshi Roy, Daniel Neider

CoRR, 2023

Analyzing Robustness of Angluin's L^* Algorithm in Presence of Noise.

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

CoRR, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Specification Sketching for Linear Temporal Logic.

Simon Lutz, Daniel Neider, Rajarshi Roy

Proceedings of the Automated Technology for Verification and Analysis, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

MaxSAT-based temporal logic inference from noisy data.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Innov. Syst. Softw. Eng., 2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

CoRR, 2022

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.

Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

Proceedings of the 13th International Symposium on Games, 2022

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Expanding the Horizon of Linear Temporal Logic Inference for Explainability.

Daniel Neider, Rajarshi Roy

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Robust Computation Tree Logic.

Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

CoRR, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

CoRR, 2021

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye

Proceedings of the 15th International Conference on Grammatical Inference, 2021

QUGA - Quality Guarantees for Autoencoders.

Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Proceedings of the Automated Technology for Verification and Analysis, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Property-Directed Verification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

CoRR, 2020

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.

Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020

Learning Interpretable Models in the Property Specification Language.

Rajarshi Roy, Dana Fisman, Daniel Neider

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy

Proceedings of the Networked Systems - 6th International Conference, 2018