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

no code implementations • 15 Jan 2021 • Pranav Ashok, Mathias Jackermeier, Jan Křetínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

To this end, we also provide a graphical user interface.

Decision Making

DeepAbstract: Neural Network Abstraction for Accelerating Verification

no code implementations • 24 Jun 2020 • Pranav Ashok, Vahid Hashemi, Jan Křetínský, Stefanie Mohr

While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks.

Clustering

dtControl: Decision Tree Learning Algorithms for Controller Representation

no code implementations • 12 Feb 2020 • Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Křetínský, Maximilian Weininger, Majid Zamani

In particular the latter turns out to be extremely efficient, yielding decision trees with a single-digit number of decision nodes on 5 of the case studies.

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

no code implementations • 10 May 2019 • Pranav Ashok, Jan Křetínský, Maximilian Weininger

Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (partially) unknown.