Picture for Maximilian Weininger

Maximilian Weininger

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

Add code
Oct 23, 2024
Viaarxiv icon

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games

Add code
May 06, 2024
Viaarxiv icon

What Are the Odds? Improving the foundations of Statistical Model Checking

Add code
Apr 08, 2024
Viaarxiv icon

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

Add code
Apr 19, 2023
Viaarxiv icon

Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces

Add code
Aug 29, 2022
Figure 1 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 2 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 3 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Figure 4 for Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
Viaarxiv icon

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

Add code
Jan 15, 2021
Figure 1 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 2 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 3 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Figure 4 for dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Viaarxiv icon

dtControl: Decision Tree Learning Algorithms for Controller Representation

Add code
Feb 12, 2020
Figure 1 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 2 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 3 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Figure 4 for dtControl: Decision Tree Learning Algorithms for Controller Representation
Viaarxiv icon

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

Add code
May 24, 2019
Figure 1 for PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Figure 2 for PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Figure 3 for PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Figure 4 for PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Viaarxiv icon