Maximilian Weininger

Identifiers

• name variant Maximilian Weininger 0.60 · backfill

Papers (4)

1. Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes cs.AI · 2026 · author #3
2. UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version) cs.LO · 2026 · author #8
3. Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs cs.AI · 2026 · author #8
4. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games eess.SY · 2019 · author #3

Mentions

• 2606.25797 #3 · arxiv_oai · confidence 0.70 Maximilian Weininger
• 2606.17811 #8 · arxiv_oai · confidence 0.70 Maximilian Weininger
• 1905.04403 #3 · arxiv_oai · confidence 0.70 Maximilian Weininger

Frequent Coauthors

• Roman Andriushchenko 2 shared papers
• Tobias Meggendorfer 2 shared papers
• Arnd Hartmanns 1 shared papers
• David Parker 1 shared papers
• Henrik von Kleist 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Joshua Jeppson 1 shared papers
• Joshua Wendland 1 shared papers
• Konstantin Kueffner 1 shared papers
• Maris F. L. Galesloot 1 shared papers
• Markel Zubia 1 shared papers
• Milan Ceska 1 shared papers
• Nils Jansen 1 shared papers
• Patrick Wienh\"oft 1 shared papers
• Pranav Ashok 1 shared papers
• Sebastian Junges 1 shared papers
• Thiago D. Simao 1 shared papers
• Tim Quatmann 1 shared papers