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

12 items

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

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)