Maximilian Weininger

67 papers A* 5B 3Journal 35Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Perception-Based Beliefs for POMDPs with Visual Observations.
CoRR
Miriam Schäfers, Merlijn Krale, Thiago D. Simão, Nils Jansen, Maximilian Weininger
2025 — conf
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 — conf
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
TACAS (2)
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 J jnl
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
CoRR
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 A* conf
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory.
LICS
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 J jnl
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory.
CoRR
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger
2025 A* conf
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
AAAI
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Sound Statistical Model Checking for Probabilities and Expected Rewards.
TACAS (1)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Sound Value Iteration for Simple Stochastic Games.
GandALF
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2025 J jnl
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version).
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality.
QEST+FORMATS
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 A* conf
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.
LICS
Marta Grobelna, Jan Kretínský, Maximilian Weininger
2025 J jnl
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.
CoRR
Marta Grobelna, Jan Kretínský, Maximilian Weininger
2025 — conf
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.
QEST+FORMATS
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 — conf
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.
CAV (3)
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games.
CoRR
Tobias Meggendorfer, Maximilian Weininger
2024 J jnl
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Sound Statistical Model Checking for Probabilities and Expected Rewards.
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Sound Value Iteration for Simple Stochastic Games.
CoRR
Muqsit Azeem, Jan Kretínský, Maximilian Weininger
2024 J jnl
Stochastic games with lexicographic objectives.
Formal Methods Syst. Des.
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2024 J jnl
What Are the Odds? Improving the foundations of Statistical Model Checking.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2023 — conf
A Practitioner's Guide to MDP Model Checking Algorithms.
TACAS (1)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
A Practitioner's Guide to MDP Model Checking Algorithms.
CoRR
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023 J jnl
Algebraically explainable controllers: decision trees and support vector machines join forces.
Int. J. Softw. Tools Technol. Transf.
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
2023 A* conf
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.
LICS
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 J jnl
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 J jnl
Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces.
CoRR
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
2022 B conf
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
CONCUR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 J jnl
Comparison of algorithms for simple stochastic games.
Inf. Comput.
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Index appearance record with preorders.
Acta Informatica
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2022 B conf
Optimistic and Topological Value Iteration for Simple Stochastic Games.
ATVA
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Optimistic and Topological Value Iteration for Simple Stochastic Games.
CoRR
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 — —
Solving Stochastic Games Reliably.
Maximilian Weininger
2022 J jnl
Value iteration for simple stochastic games: Stopping criterion and learning algorithm.
Inf. Comput.
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
2021 B conf
Enforcing ω-Regular Properties in Markov Chains by Restarting.
CONCUR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2021 — conf
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.
CDC
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský
2021 J jnl
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report).
CoRR
Tobias Winkler, Maximilian Weininger
2021 — conf
Stochastic Games with Disjunctions of Multiple Objectives.
GandALF
Tobias Winkler, Maximilian Weininger
2021 — conf
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
TACAS (2)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2021 J jnl
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
CoRR
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2020 J jnl
An Anytime Algorithm for Reachability on Uncountable MDP.
CoRR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2020 A* conf
Approximating Values of Generalized-Reachability Stochastic Games.
LICS
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
2020 — conf
Automata Tutor v3.
CAV (2)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
Automata Tutor v3.
CoRR
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
Comparison of Algorithms for Simple Stochastic Games (Full Version).
CoRR
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2020 — conf
Comparison of Algorithms for Simple Stochastic Games.
GandALF
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
2020 J jnl
Online Monitoring ω-Regular Properties in Unknown Markov Chains.
CoRR
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
2020 — conf
Statistical Model Checking: Black or White?
ISoLA (1)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
2020 — conf
Stochastic Games with Lexicographic Reachability-Safety Objectives.
CAV (2)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
Stochastic Games with Lexicographic Reachability-Safety Objectives.
CoRR
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
dtControl: Decision Tree Learning Algorithms for Controller Representation.
CoRR
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2019 J jnl
Approximating Values of Generalized-Reachability Stochastic Games.
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 — conf
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
CAV (1)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 J jnl
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 — conf
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
QEST
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 J jnl
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
CoRR
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 — conf
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.
CDC
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
2018 — conf
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.
CAV (1)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2018 J jnl
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.
CoRR
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
2017 — conf
Index Appearance Record for Transforming Rabin Automata into Parity Automata.
TACAS (1)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
2017 J jnl
Index appearance record for transforming Rabin automata into parity automata.
CoRR
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger