| Original language | English |
|---|---|
| Title of host publication | Proc. Symposium on Logic in Games and Multiagent Systems |
| Subtitle of host publication | Liverpool, July 2002 |
| Editors | Marc Pauly |
| Publication status | Published - 2003 |
Symbolic Synthesis for ATL*
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution