Alternating Timed Automata Solver-开源

我们的目标是在Python中为ATA（带1个时钟）开发一个功能完整的求解器，并为ATA提供MTL。 空度问题的可判定性由Lasota和Walukiewicz提出。 ATA的MTL由Ouaknine和Worrell提​​出。