Login / Signup
Graded Computation Tree Logic with Binary Coding.
Alessandro Bianco
Fabio Mogavero
Aniello 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