Scholar
Kaushik Mallik
Google Scholar ID: CG04xrsAAAAJ
IMDEA Software Institute
Formal verification
Reactive synthesis
Hybrid systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
527
H-index
13
i10-index
15
Publications
20
Co-authors
10
list available
Contact
Email
kaushik.mallik@imdea.org
CV
Open ↗
GitHub
Open ↗
Publications
11 items
Supermartingale Certificates for Parametric MDPs
2026
Cited
0
Adaptive Strategies for GR(1) Games
2026
Cited
0
Generalized Bidding Games: Where Bidding and Stochastic Games Meet
2026
Cited
0
Decoupled Planning for Multiple Omega-Regular Objectives
2026
Cited
0
Auction-Based Online Policy Adaptation for Evolving Objectives
2026
Cited
0
Glitches in Decision Tree Ensemble Models
2025
Cited
0
Monitoring of Static Fairness
2025
Cited
0
Monitoring Robustness and Individual Fairness
2025
Cited
0
Load more
Co-authors
9 total
Anne-Kathrin Schmuck
MPI SWS
Rupak Majumdar
MPI for Software Systems
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Thomas Henzinger
IST Austria
Konstantin Kueffner
PhD Candidate, Institute of Science and Technology Austria
Guy Avni
Senior Lecturer, University of Haifa
Bettina Könighofer
Assistant Professor, Graz University of Technology, Austria
Djordje Zikelic
Singapore Management University
