Bounded DBM-based clock state construction for timed automata in Uppaal

Sascha Lehmann, Sibylle Schupp. Bounded DBM-based clock state construction for timed automata in Uppaal. STTT, 25(1):19-47, February 2023. [doi]

Abstract

Abstract is missing.