A new algorithm for strategy synthesis in LTL games

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	477-492
Number of pages	16
Journal	International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)
Volume	3440
Publication status	Published - 2005

Cite this

@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 -