Rajarshi Roy

Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

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

[BibT_eX]

[DOI]

J. Open Source Softw., January, 2024

Learning Temporal Properties for Explainability and Verification.

[BibT_eX]

[DOI]

PhD thesis, 2024

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

The Complexity of Learning Temporal Properties.

[BibT_eX]

[DOI]

CoRR, 2024

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

[BibT_eX]

[DOI]

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

Learning Branching-Time Properties in CTL and ATL via Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

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

[BibT_eX]

[DOI]

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

Learning Temporal Properties is NP-hard.

[BibT_eX]

[DOI]

CoRR, 2023

Inferring Properties in Computation Tree Logic.

[BibT_eX]

[DOI]

CoRR, 2023

Analyzing Robustness of Angluin's L<sup>*</sup> Algorithm in Presence of Noise.

[BibT_eX]

[DOI]

CoRR, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

[BibT_eX]

[DOI]

Yash Paliwal

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Specification Sketching for Linear Temporal Logic.

[BibT_eX]

[DOI]

Simon Lutz

Proceedings of the Automated Technology for Verification and Analysis, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

[BibT_eX]

[DOI]

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

2022

MaxSAT-based temporal logic inference from noisy data.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

[BibT_eX]

[DOI]

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

Expanding the Horizon of Linear Temporal Logic Inference for Explainability.

[BibT_eX]

[DOI]

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

Robust Computation Tree Logic.

[BibT_eX]

[DOI]

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

2021

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

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

QUGA - Quality Guarantees for Autoencoders.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Property-Directed Verification of Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks.

[BibT_eX]

[DOI]

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

Learning Interpretable Models in the Property Specification Language.

[BibT_eX]

[DOI]

Dana Fisman