Login / Signup

The modal µ-calculus hierarchy over restricted classes of transition systems.

Luca AlberucciAlessandro Facchini
Published in: J. Symb. Log. (2009)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • concurrent systems
  • finite state
  • control flow
  • practical reasoning
  • reactive systems
  • model checker
  • case study
  • markov decision processes
  • formal methods