Temporal logic for strategy synthesis inLTL games

H Kugler, D Harel, A Pnueli, Y Lu, Yves Bontemps

Résultats de recherche: Contribution à un journal/une revueArticle

langue originaleAnglais
Pages (de - à)445-460
Nombre de pages16
journalTools and Algorithms for the Construction and Analysis of Systems
Volume3440
Etat de la publicationPublié - 2005

Contient cette citation