On Fault Coverage of Tests for Finite State Specifications.
Alexandre PetrenkoGregor von BochmannMing Yu YaoPublished in: Comput. Networks ISDN Syst. (1996)
Keyphrases
- finite state
- transition systems
- model checking
- markov chain
- markov decision processes
- model checker
- formal specification
- tree automata
- reactive systems
- optimal policy
- formal verification
- average cost
- action sets
- vector quantizer
- temporal logic
- dynamic programming
- machine learning
- policy iteration
- sufficient conditions
- information retrieval