Login / Signup

Implementation Relations for Stochastic Finite State Machines.

Mercedes G. MerayoManuel NúñezIsmael Rodríguez
Published in: EPEW (2006)
Keyphrases
  • finite state machines
  • state transition
  • finite state automata
  • model checking
  • efficient implementation
  • stochastic optimization
  • stochastic model