An upper bound for the equational specification of finite state services.
Jan A. BergstraInge BethkePublished in: Inf. Process. Lett. (2005)
Keyphrases
- finite state
- upper bound
- transition systems
- markov chain
- model checking
- lower bound
- markov decision processes
- formal specification
- optimal policy
- web services
- vector quantizer
- temporal logic
- worst case
- theorem proving
- average cost
- formal verification
- partially observable markov decision processes
- data mining
- state space
- dynamic programming
- tree automata
- reactive systems
- finite state transducers
- hidden markov models
- action sets