Login / Signup

Cycle Detection in Computation Tree Logic.

Gaëlle FontaineFabio MogaveroAniello MuranoGiuseppe PerelliLoredana Sorrentino
Published in: GandALF (2016)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • search algorithm
  • expressive power