Hierarchical Information Patterns and Distributed Strategy Synthesis

DOI10.1007/978-3-319-24953-7_28zbMath1408.91003OpenAlexW2225873397MaRDI QIDQ3460580

Anup Basil Mathew, Marie van den Bogaard, Dietmar Berwanger

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_28

Mathematics Subject Classification ID

Games involving graphs (91A43) (n)-person games, (n>2) (91A06) Synthesis problems (93B50) Distributed systems (68M14)

Related Items (5)

Hierarchical information and the synthesis of distributed strategies ⋮ Unnamed Item ⋮ Infinite games with finite knowledge gaps ⋮ Approximate verification of strategic abilities under imperfect information ⋮ Verification of multi-agent systems with public actions against strategy logic

This page was built for publication: Hierarchical Information Patterns and Distributed Strategy Synthesis