Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

von Raha, Ritam
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

von Raha, Ritam
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)