Rajarshi Roy

44 papers A* 3A 1B 3C 1Journal 24Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
A scalable anytime algorithm for learning fragments of linear temporal logic.
Formal Methods Syst. Des.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2025 J jnl
About Time: Model-free Reinforcement Learning with Timed Reward Machines.
CoRR
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska
2025 A* conf
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems.
IJCAI
Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska
2025 J jnl
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems.
CoRR
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
2025 J jnl
Robust computation tree logic.
Innov. Syst. Softw. Eng.
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2025 A conf
The Complexity of Learning LTL, CTL and ATL Formulas.
STACS
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2025 J jnl
What is Formal Verification without Specifications? A Survey on mining LTL Specifications.
CoRR
Daniel Neider, Rajarshi Roy
2024 J jnl
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise.
Log. Methods Comput. Sci.
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024 — conf
Learning Branching-Time Properties in CTL and ATL via Constraint Solving.
FM (1)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 J jnl
Learning Branching-Time Properties in CTL and ATL via Constraint Solving.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 — —
Learning Temporal Properties for Explainability and Verification.
Rajarshi Roy
2024 J jnl
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
J. Open Source Softw.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2024 — conf
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
VMCAI (2)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2024 J jnl
The Complexity of Learning Temporal Properties.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 — conf
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications.
Principles of Verification (3)
Daniel Neider, Rajarshi Roy
2023 J jnl
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf.
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023 J jnl
Analyzing Robustness of Angluin's L
CoRR
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023 J jnl
Inferring Properties in Computation Tree Logic.
CoRR
Rajarshi Roy, Daniel Neider
2023 A* conf
Learning Interpretable Temporal Properties from Positive Examples Only.
AAAI
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023 J jnl
Learning Temporal Properties is NP-hard.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2023 C conf
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.
CD-MAKE
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 J jnl
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.
CoRR
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 B conf
Specification Sketching for Linear Temporal Logic.
ATVA
Simon Lutz, Daniel Neider, Rajarshi Roy
2023 J jnl
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2022 — conf
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.
GandALF
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022 — conf
Expanding the Horizon of Linear Temporal Logic Inference for Explainability.
RE Workshops
Daniel Neider, Rajarshi Roy
2022 J jnl
Learning Interpretable Temporal Properties from Positive Examples Only.
CoRR
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 J jnl
Learning Temporal Logic Properties: an Overview of Two Recent Methods.
CoRR
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 J jnl
MaxSAT-based temporal logic inference from noisy data.
Innov. Syst. Softw. Eng.
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2022 — conf
Robust Computation Tree Logic.
NFM
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 J jnl
Robust Computation Tree Logic.
CoRR
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 — conf
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
TACAS (1)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2022 J jnl
Specification sketching for Linear Temporal Logic.
CoRR
Simon Lutz, Daniel Neider, Rajarshi Roy
2021 — conf
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.
ICGI
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021 J jnl
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.
CoRR
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 B conf
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.
ATVA
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 B conf
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
ATVA
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2021 — conf
QUGA - Quality Guarantees for Autoencoders.
OVERLAY@GandALF
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
2021 J jnl
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2020 A* conf
Learning Interpretable Models in the Property Specification Language.
IJCAI
Rajarshi Roy, Dana Fisman, Daniel Neider
2020 J jnl
Learning Interpretable Models in the Property Specification Language.
CoRR
Rajarshi Roy, Dana Fisman, Daniel Neider
2020 J jnl
Property-Directed Verification of Recurrent Neural Networks.
CoRR
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020 — conf
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.
ECML/PKDD (2)
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
2018 — conf
On Verifying TSO Robustness for Event-Driven Asynchronous Programs.
NETYS
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy