Login / Signup

Graded Computation Tree Logic with Binary Coding.

Alessandro BiancoFabio MogaveroAniello Murano
Published in: CSL (2010)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • gray code
  • alternating time temporal logic
  • bounded model checking
  • epistemic logic
  • multi agent