Login / Signup

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.

Mario Bravetti
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • finite state
  • markov chain
  • action sets
  • markov decision processes
  • optimal policy
  • model checking
  • decision theoretic
  • text classification
  • partially observable markov decision processes
  • context free