Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc.

• 因此,无关的原子约束是广泛存在的。