Pranav Ashok

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 23

Top Topics

Decision Tree Learning

Monte Carlo Tree Search

Infinite Horizon

Decision Process

Top Venues

Publications

Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský
Planning via model checking with decision-tree controllers. ICRA (2022)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. TACAS (2) (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. CoRR (2021)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. CoRR (2020)
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification. ATVA (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games. LICS (2020)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
Statistical Model Checking: Black or White? ISoLA (1) (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR (2020)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CAV (1) (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. QEST (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. CoRR (2019)
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
Strategy Representation by Decision Trees with Linear Classifiers. CoRR (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST (2019)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
Approximating Values of Generalized-Reachability Stochastic Games. CoRR (2019)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions based on Partial Exploration. CoRR (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. ISoLA (2) (2018)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA (2018)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. CoRR (2018)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR (2017)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) (2017)