Ritam Raha
Scholar

Ritam Raha

Google Scholar ID: 9zJyPuQAAAAJ
Post-doctoral Researcher, Max Planck Institute for Software Systems (MPI-SWS)
Formal Methods and VerificationArtificial IntelligenceLogic and Automata TheoryGames
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
87
 
H-index
4
 
i10-index
2
 
Publications
14
 
Co-authors
8
list available
Contact
Emailrraha@mpi-sws.orgCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
5 items
About Time: Model-free Reinforcement Learning with Timed Reward Machines
2025
Cited
0
Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
2025
Cited
0
Quantitative Strategy Templates
2025
Cited
0
Follow the STARs: Dynamic ω-Regular Shielding of Learned Policies
arXiv.org · 2025
Cited
0
Fair Quantitative Games
2025
Cited
0
Resume (English only)
Co-authors
8 total
Nathanaël Fijalkow
Nathanaël Fijalkow
CNRS, LaBRI, Bordeaux
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security
Guillermo A. Pérez
Guillermo A. Pérez
Associate Professor, University of Antwerp
Rajarshi Roy
Rajarshi Roy
University of Oxford
Loic Helouet
Loic Helouet
INRIA Rennes
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Michaël Cadilhac
Michaël Cadilhac
DePaul University