Regional Finite-State Error Repair.

Manuel Vilares Ferro Juan Otero Jorge Graña Gil

Published in: CIAA (2004)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
vector quantizer
average cost
error detection
error propagation
failure rate
context free
tree automata
transition systems
continuous time bayesian networks