A new algorithm for strategy synthesis in LTL games

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revue › Article

langue originale	Anglais
Pages (de - à)	477-492
Nombre de pages	16
journal	International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)
Volume	3440
Etat de la publication	Publié - 2005

Contient cette citation

@article{37f0336a917644b1b32de7399fe043a1,

title = "A new algorithm for strategy synthesis in LTL games",

author = "Aidan Harding and Mark Ryan and Pierre-Yves Schobbens",

year = "2005",

language = "English",

volume = "3440",

pages = "477--492",

journal = "International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)",

}

TY - JOUR

T1 - A new algorithm for strategy synthesis in LTL games

AU - Harding, Aidan

AU - Ryan, Mark

AU - Schobbens, Pierre-Yves

PY - 2005

Y1 - 2005

M3 - Article

VL - 3440

SP - 477

EP - 492

JO - International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)

JF - International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)

ER -