ACM/IEEE Logic in Computer Science, LICS 2017


Article Details
Title: Strategy logic with imperfect information
Article URLs:
Alternative Article URLs:
Authors: Raphaƫl Berthon
  • Ecole Normale SupĆ©rieure de Rennes
Bastien Maubert
  • Universita degli Studi di Napoli Federico II
Aniello Murano
  • Universita degli Studi di Napoli Federico II
Sasha Rubin
  • Universita degli Studi di Napoli Federico II
Moshe Y. Vardi
  • Rice University
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1319459, 1527668
DBLP Key: conf/lics/BerthonMMRV17
Author Comments:

Discuss this paper and its artifacts below