A new algorithm for strategy synthesis in LTL games

A Harding; Mark Ryan; PY Schobbens

A new algorithm for strategy synthesis in LTL games

A Harding, Mark Ryan, PY Schobbens

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 04-08, 2005. Edinburgh, Scotland - Duration: 1 Jan 2005 → …

Conference

Conference	11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 04-08, 2005. Edinburgh, Scotland
Period	1/01/05 → …

Cite this

@conference{4f41bc299c7f45289d5fd2e02e37b85b,

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

author = "A Harding and Mark Ryan and PY Schobbens",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 04-08, 2005. Edinburgh, Scotland ; Conference date: 01-01-2005",

}