Search Results for author:
Found 4 papers, 0 papers with code
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
To this end, we also provide a graphical user interface.
DeepAbstract: Neural Network Abstraction for Accelerating Verification
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks.
dtControl: Decision Tree Learning Algorithms for Controller Representation
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
Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (partially) unknown.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
