Maximilian Weininger

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 46

Top Topics

Nash Equilibria

Markov Decision Process

Stochastic Games

Top Venues

Publications

Tobias Meggendorfer, Maximilian Weininger
Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. CAV (3) (2024)
Tobias Meggendorfer, Maximilian Weininger
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games. CoRR (2024)
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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving the foundations of Statistical Model Checking. CoRR (2024)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. CoRR (2023)
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
Algebraically explainable controllers: decision trees and support vector machines join forces. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record with preorders. Acta Informatica 59 (5) (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA (2022)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of algorithms for simple stochastic games. Inf. Comput. 289 (Part) (2022)
Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger
Value iteration for simple stochastic games: Stopping criterion and learning algorithm. Inf. Comput. 285 (Part) (2022)
Florian Jüngermann, Jan Kretínský, Maximilian Weininger
Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces. CoRR (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. CoRR (2022)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. CONCUR (2022)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CoRR (2022)
Tobias Winkler, Maximilian Weininger
Stochastic Games with Disjunctions of Multiple Objectives. GandALF (2021)
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. CDC (2021)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Enforcing ω-Regular Properties in Markov Chains by Restarting. CONCUR (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. TACAS (2) (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. CoRR (2021)
Tobias Winkler, Maximilian Weininger
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report). CoRR (2021)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of Algorithms for Simple Stochastic Games (Full Version). CoRR (2020)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR (2020)
Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger
Online Monitoring ω-Regular Properties in Unknown Markov Chains. CoRR (2020)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
An Anytime Algorithm for Reachability on Uncountable MDP. CoRR (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games. LICS (2020)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
Statistical Model Checking: Black or White? ISoLA (1) (2020)
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Comparison of Algorithms for Simple Stochastic Games. GandALF (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CAV (2) (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CoRR (2020)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR (2020)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CAV (1) (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CoRR (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST (2019)
Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CDC (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
Approximating Values of Generalized-Reachability Stochastic Games. CoRR (2019)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CAV (1) (2018)
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. CoRR (2018)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record for transforming Rabin automata into parity automata. CoRR (2017)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS (1) (2017)