1. Graph-based algorithms for boolean function manipulation;Bryant;IEEE T Comput,1986
2. A BDD-based algorithm for reliability graph analysis;Zang,2000
3. Multi-modal urban transit network design considering reliability: multi-objective Bi-level optimization;Barahimi;Reliab Eng Syst Saf,2015
4. Exploring cascading reliability of multi-modal public transit network based on complex networks;Zhang;Reliab Eng Syst Saf,2022
5. Reliability evaluation of a multistate railway transportation network from the perspective of a travel agent;Yeh;Reliab Eng Syst Saf,2021