Scholar
Anirban Majumdar
Google Scholar ID: oBaAKl4AAAAJ
Postdoctoral fellow, Université Libre de Bruxelles
Formal Methods
Automata
Games
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
88
H-index
6
i10-index
2
Publications
14
Co-authors
0
Publications
5 items
Algorithms for Robbins' Problem using Markov Decision Processes
2026
Cited
0
Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
2026
Cited
0
About Time: Model-free Reinforcement Learning with Timed Reward Machines
2025
Cited
0
Scalable Learning of One-Counter Automata via State-Merging Algorithms
2025
Cited
0
Learning Event-recording Automata Passively
2025
Cited
0
