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