On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.

Jol Ouaknine, James Worrell

Browse the full LICS paper archive.