Miroslav Kvassay, Elena Zaitseva, Peter Sedlacek, Patrik Rusnak. Multi-valued Decision Diagrams in Reliability Analysis of Consecutive k-out-of-(2k-1) Systems. In 51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021, Nur-Sultan, Kazakhstan, May 25-27, 2021. pages 81-86, IEEE, 2021. [doi]
Abstract is missing.