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
International Symposium on Automated Technology for Verification and …, 2015
282015
Long-run rewards for Markov automata
Y Butkova, R Wimmer, H Hermanns
International Conference on Tools and Algorithms for the Construction and …, 2017
122017
Effective static and dynamic fault tree analysis
O Bäckström, Y Butkova, H Hermanns, J Krčál, P Krčál
International Conference on Computer Safety, Reliability, and Security, 266-280, 2016
112016
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
72018
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
32019
Optimal time-bounded reachability analysis for concurrent systems
Y Butkova, G Fox
International Conference on Tools and Algorithms for the Construction and …, 2019
22019
Markov Automata on Discount!
Y Butkova, R Wimmer, H Hermanns
International Conference on Measurement, Modelling and Evaluation of …, 2018
22018
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
Saarländische Universitäts-und Landesbibliothek, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9