Maximilian Weininger

According to our database, Maximilian Weininger authored at least 28 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Algebraically explainable controllers: decision trees and support vector machines join forces.

Florian Jüngermann, Jan Kretínský, Maximilian Weininger

Int. J. Softw. Tools Technol. Transf., June, 2023

A Practitioner's Guide to MDP Model Checking Algorithms.

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

LICS, 2023

2022

Solving Stochastic Games Reliably.

Maximilian Weininger

PhD thesis, 2022

Value iteration for simple stochastic games: Stopping criterion and learning algorithm.

Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger

Inf. Comput., 2022

Index appearance record with preorders.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Acta Informatica, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Optimistic and Topological Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Stochastic Games with Disjunctions of Multiple Objectives.

Tobias Winkler, Maximilian Weininger

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Stochastic Games with Disjunctions of Multiple Objectives (Technical Report).

Tobias Winkler, Maximilian Weininger

CoRR, 2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Enforcing ω-Regular Properties in Markov Chains by Restarting.

Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.

Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Online Monitoring ω-Regular Properties in Unknown Markov Chains.

Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger

CoRR, 2020

Comparison of Algorithms for Simple Stochastic Games.

Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Comparison of Algorithms for Simple Stochastic Games (Full Version).

Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger

CoRR, 2020

An Anytime Algorithm for Reachability on Uncountable MDP.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

CoRR, 2020

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Statistical Model Checking: Black or White?

Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

dtControl: decision tree learning algorithms for controller representation.

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Automata Tutor v3.

Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Stochastic Games with Lexicographic Reachability-Safety Objectives.

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Jan Kretínský, Maximilian Weininger

CoRR, 2019

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.

Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.

Pranav Ashok, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.

Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017