Probabilistic automata

GPTKB entity