Symbolic Synthesis for ATL*

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreProc. Symposium on Logic in Games and Multiagent Systems
Sous-titreLiverpool, July 2002
rédacteurs en chefMarc Pauly
Etat de la publicationPublié - 2003

Contient cette citation