transitionFunction

4 triples
GPTKB property

Random triples
Subject Object
gptkb:deterministic_Muller_automaton deterministic
gptkb:Markov_Decision_Processes P(s'|s, a)
gptkb:Möbius_bundle -1
gptkb:nondeterministic_Muller_automaton nondeterministic transition relation