activity
20042026
most citedReachability in Two-Clock Timed Automata is PSPACE-complete

27 citations · 187 across the 36 of their papers we have counts for

collaborators
Showing 2018 · math.NTShow all

Nothing from them under that filter.

Their other years and fields are still on the left.