UPPAAL-SMC相关论文
自动驾驶场景中存在着丰富的时空数据和动态行为交互,使得自动驾驶场景充满复杂性。系统的安全性面临着严重的挑战。近年来,人们尝......
作为轨道交通系统的核心子系统之一,联锁系统的安全性应当作为开发的首要前提和目标。联锁系统事故预测是保证联锁系统安全性的重......
