Negotiations, introduced by Esparza et al., are a model for concurrent
s...
Timed automata have been introduced by Rajeev Alur and David Dill in the...
Updatable timed automata (UTA) are extensions of classic timed automata ...
We provide several positive and negative complexity results for solving ...
We investigate a zone based approach for the reachability problem in tim...
A popular method for solving reachability in timed automata proceeds by
...
We consider the reachability problem for timed automata having diagonal
...