The top documents tagged [timed automataalgortihm]