Ritam Raha

According to our database, Ritam Raha authored at least 14 papers between 2020 and 2025.

Collaborative distances:

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

2025

Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop.

Oz Gitelson, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck

CoRR, October, 2025

Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck

CoRR, May, 2025

Fair Quantitative Games.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the Foundations of Software Science and Computation Structures, 2025

Quantitative Strategy Templates.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck

Proceedings of the Automated Technology for Verification and Analysis, 2025

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

Reachability games with relaxed energy constraints.

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

Inf. Comput., 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