Yuliya Butkova

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Probabilistic Automata

Concurrent Systems

Markov Processes

Top Venues

Publications

Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Yuliya Butkova, Gereon Fox
Optimal Time-Bounded Reachability Analysis for Concurrent Systems. TACAS (2) (2019)
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Modelling and Checking Markov Automata. QEST (2019)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions based on Partial Exploration. CoRR (2018)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Markov Automata on Discount! MMB (2018)
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský
Continuous-Time Markov Decisions Based on Partial Exploration. ATVA (2018)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
Long-Run Rewards for Markov Automata. TACAS (2) (2017)
Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál
Effective Static and Dynamic Fault Tree Analysis. SAFECOMP (2016)
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
Optimal Continuous Time Markov Decisions. CoRR (2015)
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál
Optimal Continuous Time Markov Decisions. ATVA (2015)