2024

Jul 05, 2024

24.6 Emptiness-checking for 3-clock Timed Automata with additive constraints

Jul 04, 2024

24.5 Properties of the value function in weighted timed games

2022

Sep 16, 2022

22.7 Equivalent k-HD-TA for a given 1-NTA

2020

Jul 21, 2020

20.2 Deterministic separability of nondeterministic timed languages