Login / Signup

Finite-State Analysis of the CAN Bus Protocol.

M. J. P. van OschScott A. Smolka
Published in: HASE (2001)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • data mining
  • machine learning
  • reinforcement learning
  • state space