Search Results for author: Ritam Raha

Found 2 papers, 1 papers with code

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

1 code implementation13 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 implementations3 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

Cannot find the paper you are looking for? You can Submit a new open access paper.