Author:
Butkova Yuliya,Fox Gereon
Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;G Balbo,2007
2. Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Sec. Comput. 7(2), 128–143 (2010).
https://doi.org/10.1109/TDSC.2009.45
3. Bertsekas, D.P.: Dynamic Programming and Optimal Control, 2nd edn. Athena Scientific, Belmont (2000)
4. Lecture Notes in Computer Science;Y Butkova,2015
5. Lecture Notes in Computer Science;C Baier,2017
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithmic Minimization of Uncertain Continuous-Time Markov Chains;IEEE Transactions on Automatic Control;2023-11
2. A Modest Approach to Markov Automata;ACM Transactions on Modeling and Computer Simulation;2021-07-31
3. Markov automata with multiple objectives;Formal Methods in System Design;2021-03-29
4. On Correctness, Precision, and Performance in Quantitative Verification;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
5. Multi-objective Optimization of Long-run Average and Total Rewards;Tools and Algorithms for the Construction and Analysis of Systems;2021