search result

Cover von Cat Herding Game Played on Infinite Trees

Cat Herding Game Played on Infinite Trees

Year: 2025
Media group: LIPIcs
Cover von Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk)

Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von Jumping Automata for Uniform Strategies

Jumping Automata for Uniform Strategies

Year: 2013
Media group: LIPIcs
Cover von Dependency Matrices for Multiplayer Strategic Dependencies

Dependency Matrices for Multiplayer Strategic Dependencies

Year: 2022
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 26th International Symposium on Temporal Representation and Reasoning
TIME 2019 : October 16 - 19, 2019, Malaga, Spain
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 147
Media group: LIPIcs
Cover von Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

Year: 2013
Media group: LIPIcs
Cover von On Timed Alternating Simulation for Concurrent Timed Games

On Timed Alternating Simulation for Concurrent Timed Games

Year: 2009
Media group: ARTICLE
Cover von Advances in Modal Logic Volume 14
Search for this author
Year: 2022
Publisher: London, College Publications
Media group: MONOGRAPHIE
Cover von Plan Logic

Plan Logic

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0