A new algorithm for strategy synthesis in LTL games

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)477-492
Number of pages16
JournalInternational Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS)
Volume3440
Publication statusPublished - 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 -