On the verification of probabilistic I/O automata with unspecified rates.
Sergio GiroPedro R. D'ArgenioPublished in: SAC (2009)
Keyphrases
- input output
- model checking
- bayesian networks
- probabilistic model
- generative model
- finite state
- context sensitive
- functional verification
- probabilistic automata
- verification method
- face verification
- uncertain data
- cellular automata
- data structure
- probabilistic reasoning
- database
- posterior probability
- false acceptance