Login / Signup
Finite state modelling in program development.
Peter Henderson
Published in:
Reliable Software (1975)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
optimal policy
software engineering
text classification
average cost
partially observable markov decision processes
tree automata