Kaushik Mallik
Scholar

Kaushik Mallik

Google Scholar ID: CG04xrsAAAAJ
IMDEA Software Institute
Formal verificationReactive synthesisHybrid systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
527
 
H-index
13
 
i10-index
15
 
Publications
20
 
Co-authors
10
list available
Contact
Emailkaushik.mallik@imdea.orgCVOpen ↗GitHubOpen ↗
Publications
8 items
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
Efficient Dynamic Shielding for Parametric Safety Specifications
2025
Cited
0
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
2025
Cited
0
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
2024
Cited
0
Resume (English only)
Co-authors
10 total
Anne-Kathrin Schmuck
Anne-Kathrin Schmuck
MPI SWS
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Sadegh Soudjani
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Thomas Henzinger
Thomas Henzinger
IST Austria
Konstantin Kueffner
Konstantin Kueffner
PhD Candidate, Institute of Science and Technology Austria
Co-author 6
Co-author 6
Guy Avni
Guy Avni
Senior Lecturer, University of Haifa
Bettina Könighofer
Bettina Könighofer
Assistant Professor, Graz University of Technology, Austria