Picture for Pranav Ashok

Pranav Ashok

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

DeepAbstract: Neural Network Abstraction for Accelerating Verification

Add code
Jun 24, 2020
Figure 1 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 2 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 3 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 4 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
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