A Study of Optimization Techniques about Reachability in Timed Automata

• 时间自动机可达性分析中的状态空间约减技术综述