| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BerthonMaubertMuran-Strategylogicwithim,
author = {Raphaël Berthon and Bastien Maubert and Aniello Murano and Sasha Rubin and Moshe Y. Vardi},
title = {Strategy logic with imperfect information},
booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)},
year = {2017},
month = {June},
pages = {1--12},
location = {Reykjavik},
publisher = {IEEE Computer Society Press}
}