| Optimal continuous time Markov decisions Y Butkova, H Hatefi, H Hermanns, J Krčál Automated Technology for Verification and Analysis: 13th International …, 2015 | 33 | 2015 |
| Long-run rewards for Markov automata Y Butkova, R Wimmer, H Hermanns Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 18 | 2017 |
| 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 | 16 | 2018 |
| Effective static and dynamic fault tree analysis O Bäckström, Y Butkova, H Hermanns, J Krčál, P Krčál Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 15 | 2016 |
| A Modest approach to modelling and checking Markov automata Y Butkova, A Hartmanns, H Hermanns Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 8 | 2019 |
| A modest approach to markov automata Y Butkova, A Hartmanns, H Hermanns ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-34, 2021 | 7 | 2021 |
| Optimal time-bounded reachability analysis for concurrent systems Y Butkova, G Fox Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 6 | 2019 |
| Markov Automata on Discount! Y Butkova, R Wimmer, H Hermanns Measurement, Modelling and Evaluation of Computing Systems: 19th …, 2018 | 3 | 2018 |
| Towards efficient analysis of Markov automata Y Butkova Saarländische Universitäts-und Landesbibliothek, 2020 | 1 | 2020 |
| Discounted Markov automata Y Butkova Technical Report 2018–01, ERC Grant POWVER (695614), Universität des …, 2018 | 1 | 2018 |
| Towards Efficient Analysis of Markov Automata Y Butkova | | 2020 |
