Advanced Risk Assessment for Deep Excavation in Karst Regions Using Improved Dempster–Shafer and Dynamic Bayesian Networks | Synapse