Entanglement and the complexity of directed graphs von Berwanger, Dietmar, Grädel, Erich, Kaiser, Łukasz, Rabinovich, Roman

Volltext

Observation and Distinction: Representing Information in Infinite Games von Berwanger, Dietmar, Doyen, Laurent

Volltext

Games with recurring certainty von Berwanger, Dietmar, Mathew, Anup Basil

Volltext

Infinite games with finite knowledge gaps von Berwanger, Dietmar, Mathew, Anup Basil

Volltext

Hierarchical information and the synthesis of distributed strategies von Berwanger, Dietmar, Mathew, Anup Basil, van den Bogaard, Marie

Volltext

Parity games on undirected graphs von Berwanger, Dietmar, Serre, Olivier

Volltext

The dag-width of directed graphs von Berwanger, Dietmar, Dawar, Anuj, Hunter, Paul, Kreutzer, Stephan, Obdržálek, Jan

Volltext

DAG-Width and Parity Games von Berwanger, Dietmar, Dawar, Anuj, Hunter, Paul, Kreutzer, Stephan

Volltext

Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games von Berwanger, Dietmar, Grädel, Erich

Volltext

Admissibility in Infinite Games von Berwanger, Dietmar

Volltext

Information Tracking in Games on Graphs von Berwanger, Dietmar, Kaiser, Lukasz

Volltext

Automata on Directed Graphs: Edge Versus Vertex Marking von Berwanger, Dietmar, Janin, David

Volltext

Strategy construction for parity games with imperfect information von Berwanger, Dietmar, Chatterjee, Krishnendu, De Wulf, Martin, Doyen, Laurent, Henzinger, Thomas A.

Volltext

Synthesising Full-Information Protocols von Berwanger, Dietmar, Doyen, Laurent, Soullard, Thomas

Volltext bestellen

Infinite Coordination Games von Berwanger, Dietmar

Volltext

Hierarchical Information Patterns and Distributed Strategy Synthesis von Berwanger, Dietmar, Mathew, Anup Basil, van den Bogaard, Marie

Volltext

Game Logic Is Strong Enough for Parity Games von Berwanger, Dietmar

Volltext

The Variable Hierarchy of the μ-Calculus Is Strict von Berwanger, Dietmar, Gradel, Erich, Lenzi, Giacomo

Volltext

Observation and Distinction. Representing Information in Infinite Games von Berwanger, Dietmar, Doyen, Laurent

Volltext bestellen

Consensus Game Acceptors von Berwanger, Dietmar, van den Bogaard, Marie

Volltext