Rupak Majumdar
Scholar

Rupak Majumdar

Google Scholar ID: COuXyKwAAAAJ
MPI for Software Systems
verificationmodel checkingautomated reasoningformal methods
Google Scholar↗
Citations & Impact
All-time
Citations
5,514
 
H-index
38
 
i10-index
145
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
10 items
Kernel-Based Safe Exploration in Deep Reinforcement Learning
2026
Cited
0
Solving Qualitative Multi-Objective Stochastic Games
2026
Cited
0
General Decidability Results for Systems with Continuous Counters
2025
Cited
0
Formal Analysis of Metastable Failures in Software Systems
2025
Cited
0
MightyPPL: Verification of MITL with Past and Pnueli Modalities
2025
Cited
0
Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
2025
Cited
0
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
IEEE Transactions on Software Engineering · 2025
Cited
0
Model Checking Linear Temporal Logic with Standpoint Modalities
2025
Cited
0
Resume (English only)
Co-authors
9 total
Thomas Henzinger
Thomas Henzinger
IST Austria
Luca de Alfaro
Luca de Alfaro
Professor, Computer Science and Engineering, UC Santa Cruz
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Todd Millstein
Todd Millstein
Professor of Computer Science, UCLA
Dirk Beyer
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute
Co-author 7
Co-author 7
Grégoire Sutre
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux