Rajarshi Roy

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]

Benjamin Bordais

Proceedings of the Formal Methods - 26th International Symposium, 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]

Benjamin Bordais

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

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

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 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