Introduction to probabilistic automata - Paz, Azaria (New York : Academic Press, 1971)
BATCH-UPD
CONVERSION
Keywords: Probabilidades