Using nonconvex approximations for efficient analysis of timed automata (2011)

by HKSW11 F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
Venue:In Proceedings of FSTTCS, volume 13 of LIPIcs