Pranav Ashok

According to our database, Pranav Ashok authored at least 16 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Planning via model checking with decision-tree controllers.

Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2021

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

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Dataset, January, 2021

A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations.

Pranav Ashok

PhD thesis, 2021

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

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

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

2020

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

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Dataset, April, 2020

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler

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

Statistical Model Checking: Black or White?

Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger

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

dtControl: decision tree learning algorithms for controller representation.

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

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

DeepAbstract: Neural Network Abstraction for Accelerating Verification.

Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Jan Kretínský, Maximilian Weininger

CoRR, 2019

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

Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger

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

Strategy Representation by Decision Trees with Linear Classifiers.

Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman

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

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

Pranav Ashok, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.

Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Continuous-Time Markov Decisions Based on Partial Exploration.

Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer

Proceedings of the Computer Aided Verification - 29th International Conference, 2017