Login / Signup
Validation of contracts using enabledness preserving finite state abstractions.
Guido de Caso
Víctor A. Braberman
Diego Garbervetsky
Sebastián Uchitel
Published in:
ICSE (2009)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
optimal policy
supply chain
action sets
context free
tree automata
continuous time bayesian networks
vector quantizer
partially observable markov decision processes
search algorithm
temporal logic
context sensitive
average cost