Login / Signup

A Finite State Modeling of AFDX Frame Management Using Spin.

Indranil SahaSuman Roy
Published in: FMICS/PDMC (2006)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • partially observable markov decision processes
  • state space
  • average cost
  • machine learning
  • optimal policy
  • vector quantizer
  • tree automata