Finite state testing of structured programs.
Peter HendersonPeter QuarendonPublished in: Symposium on Programming (1974)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- continuous time bayesian networks
- tree automata
- optimal policy
- transition systems
- partially observable markov decision processes
- context free
- vector quantizer
- formal verification
- temporal logic
- policy iteration
- dynamic programming
- action sets
- structured data
- continuous time markov process