Synthesising features by games

MaRDI QIDQ2863856zbMATH OpenFDO

Authors Dimitar P. Guelev, M. D. Ryan, Pierre Yves Schobbens

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052515?np=y

zbMATH Keywords

feature synthesisinfinite parity games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80)

Recommendations

• Automata and games for synthesis
• On the synthesis of strategies in infinite games
• Graph Games and Reactive Synthesis
• Modular synthesis with open components
• Synthesis of Reactive(1) designs

Cited in

(3)

• How to win a game with features
• Conflict-Tolerant Features
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection

This page was built for publication: Synthesising features by games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863856)