Value Iteration for Long-Run Average Reward in Markov Decision Processes. - Pranav Ashok; Krishnendu Chatterjee; Przemyslaw Daca; Jan Kretínský; Tobias Meggendorfer (CAV (1), 2017)

Continuous-Time Markov Decisions Based on Partial Exploration. - Pranav Ashok; Yuliya Butkova; Holger Hermanns; Jan Kretínský (ATVA, 2018)

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. - Pranav Ashok; Tomás Brázdil; Jan Kretínský; Ondrej Slámecka (ISoLA (2), 2018)

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. - Pranav Ashok; Jan Kretínský; Maximilian Weininger (CAV (1), 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 (QEST, 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 (QEST, 2019)

Approximating Values of Generalized-Reachability Stochastic Games. - Pranav Ashok; Jan Kretínský; Maximilian Weininger (CoRR, 2019)

DeepAbstract: Neural Network Abstraction for Accelerating Verification. - Pranav Ashok; Vahid Hashemi; Jan Kretínský; Stefanie Mohr (ATVA, 2020)

dtControl: decision tree learning algorithms for controller representation. - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (HSCC, 2020)

Statistical Model Checking: Black or White? - Pranav Ashok; Przemyslaw Daca; Jan Kretínský; Maximilian Weininger (ISoLA (1), 2020)

Approximating Values of Generalized-Reachability Stochastic Games. - Pranav Ashok; Krishnendu Chatterjee; Jan Kretínský; Maximilian Weininger; Tobias Winkler 001 (LICS, 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 001 (Zenodo, 2020)

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 (TACAS (2), 2021)

A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations. - Pranav Ashok (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 (Zenodo, 2021)

Planning via model checking with decision-tree controllers. - Jonis Kiesbye; Kush Grover; Pranav Ashok; Jan Kretínský (ICRA, 2022)