Ritam Raha

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Mathematical Formulas

Linear Temporal Logic

Controller Synthesis

Top Venues

Publications

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) (2024)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. J. Open Source Softw. 9 (93) (2024)
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
A Framework for the Competitive Analysis of Model Predictive Controllers. RP (2023)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR (2023)
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
Parikh One-Counter Automata. MFCS (2023)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. TACAS (1) (2022)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability games with relaxed energy constraints. Inf. Comput. 285 (Part) (2022)
Guillermo A. Pérez, Ritam Raha
Revisiting Parameter Synthesis for One-Counter Automata. CSL (2022)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic. CoRR (2021)
Guillermo A. Pérez, Ritam Raha
Revisiting Synthesis for One-Counter Automata. CoRR (2020)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability Games with Relaxed Energy Constraints. GandALF (2019)