Assertion: timed automaton | /r/HasProperty | deterministic
Facets:
value: if
type: DEGREE
value: formally
type: DEGREE
Source sentences:
text: As in the case of finite and Büchi automaton, a timed-automaton may be deterministic or non-deterministic.
text: As in the case of finite and Büchi automaton, a timed-automaton may be deterministic or non-deterministic.
text: Formally, a timed-automaton is deterministic if: