Publisher
Springer International Publishing
Reference60 articles.
1. Akers, S.B., Jr.: Binary decision diagrams. IEEE Trans. Comput. 27(6), 509–516 (1978)
2. Andrews, J.D., Bartlett, L.M.: Efficient basic event orderings for binary decision diagrams. In: Annual Reliability and Maintainability Symposium, pp. 61–68. IEEE (1998)
3. Bäckström, O., Gamble, R., Krcal, P., Wang, W.: An experimental assessment of the MCS BDD algorithm in RiskSpectrum. In: Safety and Reliability-Safe Societies in a Changing World, pp. 1709–1717. CRC Press (2018)
4. Lecture Notes in Computer Science;O Bäckström,2016
5. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking;2024 Annual Reliability and Maintainability Symposium (RAMS);2024-01-22
2. Coyan: Fault Tree Analysis – Exact and Scalable;Lecture Notes in Computer Science;2024
3. Solving Queries for Boolean Fault Tree Logic via Quantified SAT;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18
4. Predictive Logistics Models for Autonomous Vehicles Deployment in Adversarial Environments;2023 IEEE Conference on Artificial Intelligence (CAI);2023-06
5. $$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees;Formal Methods;2023