Maximilian Weininger

Tim Quatmann

Maximilian Schäffeler

MohammadSadegh Mohagheghi

Daniel Zilken

CoRR, January, 2025

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

[BibT_eX]

[DOI]

Stefanie Mohr

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Stochastic games with lexicographic objectives.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., October, 2024

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.

[BibT_eX]

[DOI]

Patrick Wienhöft

CoRR, 2024

Sound Value Iteration for Simple Stochastic Games.

[BibT_eX]

[DOI]

Muqsit Azeem

CoRR, 2024

Sound Statistical Model Checking for Probabilities and Expected Rewards.

[BibT_eX]

[DOI]

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

Patrick Wienhöft

CoRR, 2024

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

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

QComp LRA results.

[BibT_eX]

[DOI]

Kush Grover

Dataset, August, 2023

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

[BibT_eX]

[DOI]

Florian Jüngermann

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

A Practitioner's Guide to MDP Model Checking Algorithms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Solving Stochastic Games Reliably.

[BibT_eX]

[DOI]

PhD thesis, 2022

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

[BibT_eX]

[DOI]

Inf. Comput., 2022

Index appearance record with preorders.

[BibT_eX]

[DOI]

Acta Informatica, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

[BibT_eX]

[DOI]

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

Optimistic and Topological Value Iteration for Simple Stochastic Games.

[BibT_eX]

[DOI]

Muqsit Azeem

Alexandros Evangelidis

Alexander Slivinskiy

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact).

[BibT_eX]

[DOI]

Dataset, January, 2021

Stochastic Games with Disjunctions of Multiple Objectives.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

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

Enforcing ω-Regular Properties in Markov Chains by Restarting.

[BibT_eX]

[DOI]

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

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.

[BibT_eX]

[DOI]

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

2020

dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package).

[BibT_eX]

[DOI]

Dataset, April, 2020

Online Monitoring ω-Regular Properties in Unknown Markov Chains.

[BibT_eX]

[DOI]

CoRR, 2020

Comparison of Algorithms for Simple Stochastic Games.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, 2020

An Anytime Algorithm for Reachability on Uncountable MDP.

[BibT_eX]

[DOI]

CoRR, 2020

Approximating Values of Generalized-Reachability Stochastic Games.

[BibT_eX]

[DOI]

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

Statistical Model Checking: Black or White?

[BibT_eX]

[DOI]

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

dtControl: decision tree learning algorithms for controller representation.

[BibT_eX]

[DOI]

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

Automata Tutor v3.

[BibT_eX]

[DOI]

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

Stochastic Games with Lexicographic Reachability-Safety Objectives.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

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

2019

Approximating Values of Generalized-Reachability Stochastic Games.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Adrien Le Coënt

Jakob Haahr Taankvist

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]