Follow
Yuliya Butkova
Yuliya Butkova
Unknown affiliation
Verified email at cs.uni-saarland.de
Title
Cited by
Cited by
Year
Optimal continuous time Markov decisions
Y Butkova, H Hatefi, H Hermanns, J Krčál
Automated Technology for Verification and Analysis: 13th International …, 2015
352015
Long-run rewards for Markov automata
Y Butkova, R Wimmer, H Hermanns
International Conference on Tools and Algorithms for the Construction and …, 2017
212017
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
182018
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
152016
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
102019
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
92021
Optimal time-bounded reachability analysis for concurrent systems
Y Butkova, G Fox
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
Markov Automata on Discount!
Y Butkova, R Wimmer, H Hermanns
Measurement, Modelling and Evaluation of Computing Systems: 19th …, 2018
42018
Towards efficient analysis of Markov automata
Y Butkova
Saarländische Universitäts-und Landesbibliothek, 2020
22020
Discounted Markov automata
Y Butkova
Technical Report 2018–01, ERC Grant POWVER (695614), Universität des …, 2018
12018
Towards Efficient Analysis of Markov Automata
Y Butkova
2020
The system can't perform the operation now. Try again later.
Articles 1–11