Scholar
Maximilian Weininger
Google Scholar ID: 88fkEooAAAAJ
Ruhr University Bochum
Probabilistic verification
game theory
explainable controllers
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
773
H-index
15
i10-index
22
Publications
20
Co-authors
0
Publications
14 items
Property-driven Causal Abstractions for Markov Decision Processes
2026
Cited
0
dtControl2+$\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees
2026
Cited
0
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
2026
Cited
0
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs
2026
Cited
0
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
Load more
