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
13 items
MightyPPL : Towards model checking MTL
2026
Cited
0
Learning Metastable Dynamics
2026
Cited
0
Pushdown Model Checking Above the Cubic Bottleneck
2026
Cited
0
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
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