Maximilian Weininger
Scholar

Maximilian Weininger

Google Scholar ID: 88fkEooAAAAJ
Ruhr University Bochum
Probabilistic verificationgame theoryexplainable controllers
Google Scholar↗
Citations & Impact
All-time
Citations
773
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
9 items
Perception-Based Beliefs for POMDPs with Visual Observations
2026
Cited
0
Sound Value Iteration for Simple Stochastic Games
2025
Cited
0
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
2025
Cited
0
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
2025
Cited
0
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
2025
Cited
0
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025
Cited
0
Sound Statistical Model Checking for Probabilities and Expected Rewards
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
Cited
5
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
International Conference on Verification, Model Checking and Abstract Interpretation · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)