Combining Reflection and Finite State Diagrams for Design Enforcement.

Shaul Simhi Vered Gafni Amiram Yehudai

Published in: Theory Pract. Object Syst. (1996)

Keyphrases

finite state
markov decision processes
model checking
markov chain
information retrieval
hidden markov models
context free grammars
partially observable markov decision processes