Sign in

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.

Dante ZanariniCarlos LunaLuis Sierra
Published in: SBMF (2012)
Keyphrases
  • alternating time temporal logic
  • model checking
  • imperfect information
  • transition systems
  • inductive inference
  • knowledge representation