Pranav Ashok

25 papers A* 2B 2Journal 10Unranked 10
YearRankTypeTitle / Venue / Authors
2024 — conf
Dynamic Image Analysis of Microscopic Particles.
MIND (2)
Pranav Ashok, Pranav Siddappa, Shashank Bommegowda, D. K. Bharath Reddy, M. Aswartha Reddy, Pulkit Dhamija, Minal Moharir
2022 A* conf
Planning via model checking with decision-tree controllers.
ICRA
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský
2021 — —
A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations.
Pranav Ashok
2021 — conf
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
TACAS (2)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2021 J jnl
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
CoRR
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2020 A* conf
Approximating Values of Generalized-Reachability Stochastic Games.
LICS
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
2020 B conf
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
ATVA
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
2020 J jnl
DeepAbstract: Neural Network Abstraction for Accelerating Verification.
CoRR
Pranav Ashok, Vahid Hashemi, Jan Kretínský, Stefanie Mohr
2020 — conf
Statistical Model Checking: Black or White?
ISoLA (1)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
2020 J jnl
dtControl: Decision Tree Learning Algorithms for Controller Representation.
CoRR
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2019 J jnl
Approximating Values of Generalized-Reachability Stochastic Games.
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 — conf
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
CAV (1)
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 J jnl
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
CoRR
Pranav Ashok, Jan Kretínský, Maximilian Weininger
2019 — conf
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
QEST
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 J jnl
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
CoRR
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 — conf
Strategy Representation by Decision Trees with Linear Classifiers.
QEST
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019 J jnl
Strategy Representation by Decision Trees with Linear Classifiers.
CoRR
Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2018 B conf
Continuous-Time Markov Decisions Based on Partial Exploration.
ATVA
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
2018 J jnl
Continuous-Time Markov Decisions based on Partial Exploration.
CoRR
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
2018 — conf
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.
ISoLA (2)
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
2018 J jnl
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.
CoRR
Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka
2017 — conf
Value Iteration for Long-Run Average Reward in Markov Decision Processes.
CAV (1)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2017 J jnl
Value Iteration for Long-run Average Reward in Markov Decision Processes.
CoRR
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer