Abstract: Railway vehicles are considered one of the most important transportation systems for which fault tree analysis can be leveraged to ensure safety and reliability. Computing minimal cut sets ...