关注
Yuliya Butkova
Yuliya Butkova
未知所在单位机构
在 cs.uni-saarland.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作,请稍后再试。
文章 1–11