Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

1 code implementation • 13 Oct 2021 • Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

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 many other areas.

Motion Planning

Revisiting Parameter Synthesis for One-Counter Automata

no code implementations • 3 May 2020 • Guillermo A. Pérez, Ritam Raha

We study the (parameter) synthesis problem for one-counter automata with parameters.

Logic in Computer Science Formal Languages and Automata Theory

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

no code implementations • 26 Oct 2023 • Ritam Raha, Rajarshi Roy, Nathanael Fijalkow, Daniel Neider, Guillermo A. Perez

In runtime verification, manually formalizing a specification for monitoring system executions is a tedious and error-prone process.