Login / Signup

Alternating-time temporal logic ATL with finitely bounded semantics.

Valentin GorankoAntti KuusistoRaine Rönnholm
Published in: Theor. Comput. Sci. (2019)
Keyphrases
  • alternating time temporal logic
  • model checking
  • imperfect information
  • learning environment
  • knowledge base
  • upper bound
  • computation tree logic