Hierarchical information patterns and distributed strategy synthesis

DOI10.1007/978-3-319-24953-7_28MaRDI QIDQ3460580zbMATH OpenOpenAlexFDO

Authors Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

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

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

Recommendations

• Hierarchical information and the synthesis of distributed strategies
• Infinite games with finite knowledge gaps
• On the (High) Undecidability of Distributed Synthesis Problems
• scientific article; zbMATH DE number 7297884
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Cited in

(7)

• Hierarchical information and the synthesis of distributed strategies
• Approximate verification of strategic abilities under imperfect information
• Church synthesis problem for noisy input
• Games with recurring certainty
• scientific article; zbMATH DE number 7438567 (Why is no real title available?)
• Infinite games with finite knowledge gaps
• Verification of multi-agent systems with public actions against strategy logic

This page was built for publication: Hierarchical information patterns and distributed strategy synthesis

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