Keywords

#alternating_timed_automaton

Alternating timed automaton

In automata theory, an alternating timed automaton (ATA) is a mix of both a timed automaton and an alternating finite automaton. That is, it is a sort of automaton which can measure time and in which there exists universal and existential transition.

Thu 19th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Alternating timed automaton Timed automaton Ata Timed word Pushdown automaton Nondeterministic finite automaton Automata theory Two-way finite automaton Finite-state machine Life-like cellular automaton
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.