Maximilian Weininger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
8
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Solving Robust Markov Decision Processes: Generic, Reliable, Efficient. | Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2025 | LICS | Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. | Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger |
| 2025 | LICS | Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games. | Marta Grobelna, Jan Kretnsk, Maximilian Weininger |
| 2025 | TACAS | Sound Statistical Model Checking for Probabilities and Expected Rewards. | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2025 | TACAS | Fixed Point Certificates for Reachability and Expected Rewards in MDPs. | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken |
| 2025 | VMCAI | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. | Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretnsk, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger |
| 2024 | CAV | Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. | Tobias Meggendorfer, Maximilian Weininger |
| 2023 | LICS | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2023 | TACAS | A Practitioner's Guide to MDP Model Checking Algorithms. | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger |
| 2022 | ATVA | Optimistic and Topological Value Iteration for Simple Stochastic Games. | Muqsit Azeem, Alexandros Evangelidis, Jan Kretnsk, Alexander Slivinskiy, Maximilian Weininger |
| 2022 | CONCUR | Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. | Kush Grover, Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2021 | CONCUR | Enforcing ω-Regular Properties in Markov Chains by Restarting. | Javier Esparza, Stefan Kiefer, Jan Kretnsk, Maximilian Weininger |
| 2021 | TACAS | dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. | Pranav Ashok, Mathias Jackermeier, Jan Kretnsk, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav |
| 2020 | CAV | Stochastic Games with Lexicographic Reachability-Safety Objectives. | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler |
| 2020 | CAV | Automata Tutor v3. | Loris D'Antoni, Martin Helfrich, Jan Kretnsk, Emanuel Ramneantu, Maximilian Weininger |
| 2020 | ISoLA | Statistical Model Checking: Black or White? | Pranav Ashok, Przemyslaw Daca, Jan Kretnsk, Maximilian Weininger |
| 2020 | LICS | Approximating Values of Generalized-Reachability Stochastic Games. | Pranav Ashok, Krishnendu Chatterjee, Jan Kretnsk, Maximilian Weininger, Tobias Winkler |
| 2019 | CAV | PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. | Pranav Ashok, Jan Kretnsk, Maximilian Weininger |
| 2018 | CAV | Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. | Edon Kelmendi, Julia Krmer, Jan Kretnsk, Maximilian Weininger |
| 2017 | TACAS | Index Appearance Record for Transforming Rabin Automata into Parity Automata. | Jan Kretnsk, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger |