| 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 | 77 | 2019 |
| 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 | 69 | 2020 |
| 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 | 56 | 2017 |
| 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 | 45 | 2021 |
| 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 | 44 | 2019 |
| 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 | 41 | 2020 |
| 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 | 22 | 2020 |
| 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 | 21 | 2018 |
| 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 | 14 | 2019 |
| 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 | 13 | 2018 |
| 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 | 10 | 2020 |
| 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 | 9 | 2022 |
| A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations P Ashok Technische Universität München, 2021 | | 2021 |
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
