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

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