Pranav Ashok
Title
Cited by
Cited by
Year
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
252017
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
P Ashok, J Křetínský, M Weininger
International Conference on Computer Aided Verification, 497-519, 2019
142019
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
92020
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
9*2019
Continuous-Time Markov Decisions Based on Partial Exploration
P Ashok, Y Butkova, H Hermanns, J Křetínský
International Symposium on Automated Technology for Verification and …, 2018
82018
DeepAbstract: neural network abstraction for accelerating verification
P Ashok, V Hashemi, J Křetínský, S Mohr
International Symposium on Automated Technology for Verification and …, 2020
62020
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
62020
Strategy Representation by Decision Trees with Linear Classifiers
P Ashok, T Brázdil, K Chatterjee, J Křetínský, CH Lampert, V Toman
International Conference on Quantitative Evaluation of Systems, 109-128, 2019
62019
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
32018
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
12021
Statistical Model Checking: Black or White?
P Ashok, P Daca, J Křetínský, M Weininger
International Symposium on Leveraging Applications of Formal Methods, 331-349, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–11