A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies

Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics have been studied. However, the existing formalisms show certain limitations in face of the range of strategy properties required to address intuitive situations. We propose a generic solution to specify expressive constraints on strategies in concurrent games. Our formalism naturally extends alternating-time logics while being highly flexible to combine constraints. Our approach is constructive and can synthesize many types of complex strategies, via automata-theoretic techniques.

• Type: Conference
• Year: 2007
• Where: ATVA
• Authors: Sophie Pinchinat
• Keywords: ATVA 2007, Concurrent Games, Logics, Paradigmatic Abstract Models