I have been a Ph.D. student at the chair of Prof. Holger Hermanns since October 2014. I graduated in Summer 2020.

Research Interests

• Model checking of various Markov models in continuous and discrete time;
• Model checking of Markov models w.r.t. properties with costs and rewards;
• Analysis of fault trees with dynamic features;

Publications:

• Optimal Continuous Time Markov Decisions; Butkova Y., Hatefi H., Hermanns H., Krcál J; ATVA 2015: 166-182; doi
• Effective Static and Dynamic Fault Tree Analysis; Bäckström O.,, Butkova Y.,, Hermanns H., Krcál J., Krcál P.; SAFECOMP 2016: 266-280; doi
• Long-run Rewards for Markov Automata; Butkova Y.,, Wimmer R., Hermanns H.; TACAS 2017;

Contact

If you have any questions feel free to contact me: