Login / Signup

An algebraic and algorithmic method for analysing transition systems.

Anne Dicky
Published in: Theor. Comput. Sci. (1986)
Keyphrases
  • dynamic programming
  • markov chain
  • temporal logic
  • transition systems
  • computational complexity
  • search space