一种动态消减时间自动机可达性搜索空间的方法

• An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis