Login / Signup

Extended Computation Tree Logic.

Roland AxelssonMatthew HagueStephan KreutzerMartin LangeMarkus Latte
Published in: LPAR (Yogyakarta) (2010)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • multi agent systems
  • state space
  • epistemic logic