Author:
Baier Christel,Dubslaff Clemens,Korenčiak L’uboš,Kučera Antonín,Řehák Vojtěch
Publisher
Springer International Publishing
Reference19 articles.
1. Altman, E.: Constrained Markov Decision Processes. Chapman and Hall, Boca Raton (1999)
2. Attoh-Okine, N.: Resilience Engineering: Models and Analysis. Resilience Engineering: Models and Analysis. Cambridge University Press, Cambridge (2016)
3. Lecture Notes in Computer Science;C Baier,2014
4. Baier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A., Řehák, V.: Synthesis of optimal resilient control strategies. CoRR, abs/1707.03223 (2017)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a Formal Account on Negative Latency;Bridging the Gap Between AI and Reality;2023-12-14
2. Multi-objective Optimization of Long-run Average and Total Rewards;Tools and Algorithms for the Construction and Analysis of Systems;2021
3. Context-Aware Temporal Logic for Probabilistic Systems;Automated Technology for Verification and Analysis;2020
4. Synthesis of Optimal Resilient Control Strategies;Automated Technology for Verification and Analysis;2017