1 Answers
In automata theory, an alternating timed automaton is a mix of both timed automaton and alternating finite automaton. That is, it is a sort of automata which can measure time and in which there exists universal and existential transition.
ATAs are more expressive than timed automaton. one clock alternating timed automaton is the restriction of ATA allowing the use of a single clock. OCATAs allow to express timed languages which can not be expressed using timed-automaton.
4 views
Answered