| Optimal continuous time Markov decisions Y Butkova, H Hatefi, H Hermanns, J Krčál Automated Technology for Verification and Analysis: 13th International …, 2015 | 38 | 2015 |
| Long-run rewards for Markov automata Y Butkova, R Wimmer, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2017 | 22 | 2017 |
| 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 | 20 | 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 | 16 | 2016 |
| 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 | 13 | 2021 |
| A Modest approach to modelling and checking Markov automata Y Butkova, A Hartmanns, H Hermanns International Conference on Quantitative Evaluation of Systems, 52-69, 2019 | 12 | 2019 |
| Optimal time-bounded reachability analysis for concurrent systems Y Butkova, G Fox International Conference on Tools and Algorithms for the Construction and …, 2019 | 9 | 2019 |
| Markov Automata on Discount! Y Butkova, R Wimmer, H Hermanns Measurement, Modelling and Evaluation of Computing Systems: 19th …, 2018 | 4 | 2018 |
| Towards efficient analysis of Markov automata Y Butkova Saarländische Universitäts-und Landesbibliothek, 2020 | 2 | 2020 |
| Discounted Markov automata Y Butkova Tech. Rep. 2018–01, ERC Grant POWVER (695614), Universität des Saarlandes …, 2018 | 1 | 2018 |
| Towards Efficient Analysis of Markov Automata Y Butkova | | 2020 |
