| 2022 | ICRA | Planning via model checking with decision-tree controllers. | Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretnsk |
| 2021 | TACAS | dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. | Pranav Ashok, Mathias Jackermeier, Jan Kretnsk, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav |
| 2020 | ATVA | DeepAbstract: Neural Network Abstraction for Accelerating Verification. | Pranav Ashok, Vahid Hashemi, Jan Kretnsk, Stefanie Mohr |
| 2020 | ISoLA | Statistical Model Checking: Black or White? | Pranav Ashok, Przemyslaw Daca, Jan Kretnsk, Maximilian Weininger |
| 2020 | LICS | Approximating Values of Generalized-Reachability Stochastic Games. | Pranav Ashok, Krishnendu Chatterjee, Jan Kretnsk, Maximilian Weininger, Tobias Winkler |
| 2019 | CAV | PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. | Pranav Ashok, Jan Kretnsk, Maximilian Weininger |
| 2018 | ATVA | Continuous-Time Markov Decisions Based on Partial Exploration. | Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretnsk |
| 2018 | ISoLA | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. | Pranav Ashok, Toms Brzdil, Jan Kretnsk, Ondrej Slmecka |
| 2017 | CAV | Value Iteration for Long-Run Average Reward in Markov Decision Processes. | Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretnsk, Tobias Meggendorfer |