Ritam Raha

According to our database, Ritam Raha authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

J. Open Source Softw., January, 2024

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Learning and verifying temporal specifications for cyber-physical systems

Ritam Raha

PhD thesis, 2023

A Framework for the Competitive Analysis of Model Predictive Controllers.

Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha

Proceedings of the Reachability Problems - 17th International Conference, 2023

Parikh One-Counter Automata.

Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Revisiting Parameter Synthesis for One-Counter Automata.

Guillermo A. Pérez, Ritam Raha

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider

CoRR, 2021

2020

Revisiting Synthesis for One-Counter Automata.

Guillermo A. Pérez, Ritam Raha

CoRR, 2020

2019

Reachability Games with Relaxed Energy Constraints.

Loïc Hélouët, Nicolas Markey, Ritam Raha

Proceedings of the Proceedings Tenth International Symposium on Games, 2019