Distributed games with a central decision maker

DOI10.4230/LIPICS.FSTTCS.2025.5MaRDI QIDQ7391873zbMATH OpenFDO

Authors Bharat Adsul, Nehul Jain

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2025.5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• Asynchronous Games over Tree Architectures
• Asynchronous transition system games for two processes and their analysis
• Automata on distributed alphabets
• Automata, logics, and infinite games. A guide to current research
• Deciding Parity Games in Quasi-polynomial Time
• Distributed Asynchronous Games With Causal Memory are Undecidable
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)
• scientific article; zbMATH DE number 7830376 (Why is no real title available?)
• Infinite games played on finite graphs
• Keeping track of the latest gossip in a distributed system
• Notes on finite asynchronous automata
• On the control of asynchronous automata

This page was built for publication: Distributed games with a central decision maker

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