Follow
Pranav Ashok
Title
Cited by
Cited by
Year
DeepAbstract: neural network abstraction for accelerating verification
P Ashok, V Hashemi, J Křetínský, S Mohr
Automated Technology for Verification and Analysis: 18th International …, 2020
552020
PAC statistical model checking for Markov decision processes and stochastic games
P Ashok, J Křetínský, M Weininger
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
492019
Value iteration for long-run average reward in Markov decision processes
P Ashok, K Chatterjee, P Daca, J Křetínský, T Meggendorfer
International Conference on Computer Aided Verification, 201-221, 2017
482017
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
P Ashok, J Křetínský, KG Larsen, A Le Coënt, JH Taankvist, M Weininger
International Conference on Quantitative Evaluation of Systems, 147-164, 2019
282019
dtControl: decision tree learning algorithms for controller representation
P Ashok, M Jackermeier, P Jagtap, J Křetínský, M Weininger, M Zamani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
252020
Continuous-time Markov decisions based on partial exploration
P Ashok, Y Butkova, H Hermanns, J Křetínský
Automated Technology for Verification and Analysis: 16th International …, 2018
182018
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
P Ashok, M Jackermeier, J Křetínský, C Weinhuber, M Weininger, ...
Tools and Algorithms for the Construction and Analysis of Systems - 27th …, 2021
172021
Approximating Values of Generalized-Reachability Stochastic Games
P Ashok, K Chatterjee, J Křetínský, M Weininger, T Winkler
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
152020
Strategy representation by decision trees with linear classifiers
P Ashok, T Brázdil, K Chatterjee, J Křetínský, CH Lampert, V Toman
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
112019
Monte Carlo tree search for verifying reachability in Markov decision processes
P Ashok, T Brázdil, J Křetínský, O Slámečka
International Symposium on Leveraging Applications of Formal Methods, 322-335, 2018
102018
Statistical model checking: black or white?
P Ashok, P Daca, J Křetínský, M Weininger
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
92020
Planning via model checking with decision-tree controllers
J Kiesbye, K Grover, P Ashok, J Křetínský
2022 International Conference on Robotics and Automation (ICRA), 4347-4354, 2022
22022
A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations
P Ashok
Technische Universität München, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–13