2 papers
cs.AI2026
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow +1
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and m…
cs.FL2025
What is Formal Verification without Specifications? A Survey on mining LTL Specifications
Daniel Neider, Rajarshi Roy
Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. However, formulati…