Ritam Raha

21 papers B 4Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A scalable anytime algorithm for learning fragments of linear temporal logic.
Formal Methods Syst. Des.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2025 J jnl
About Time: Model-free Reinforcement Learning with Timed Reward Machines.
CoRR
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska
2025 B conf
Fair Quantitative Games.
FoSSaCS
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Fair Quantitative Games.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 J jnl
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop.
CoRR
Oz Gitelson, Satya Prakash Nayak, Ritam Raha, Anne-Kathrin Schmuck
2025 J jnl
Parikh one-counter automata.
Inf. Comput.
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2025 B conf
Quantitative Strategy Templates.
ATVA
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2025 J jnl
Quantitative Strategy Templates.
CoRR
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck
2024 J jnl
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
J. Open Source Softw.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2024 — conf
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
VMCAI (2)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2023 — conf
A Framework for the Competitive Analysis of Model Predictive Controllers.
RP
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
2023 — —
Learning and verifying temporal specifications for cyber-physical systems
Ritam Raha
2023 B conf
Parikh One-Counter Automata.
MFCS
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2023 J jnl
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2022 J jnl
Reachability games with relaxed energy constraints.
Inf. Comput.
Loïc Hélouët, Nicolas Markey, Ritam Raha
2022 B conf
Revisiting Parameter Synthesis for One-Counter Automata.
CSL
Guillermo A. Pérez, Ritam Raha
2022 — conf
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
TACAS (1)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2021 J jnl
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2020 J jnl
Revisiting Synthesis for One-Counter Automata.
CoRR
Guillermo A. Pérez, Ritam Raha
2019 — conf
Reachability Games with Relaxed Energy Constraints.
GandALF
Loïc Hélouët, Nicolas Markey, Ritam Raha