Playing with Probabilities in Reconfigurable Broadcast Networks
From MaRDI portal
Publication:5410669
DOI10.1007/978-3-642-54830-7_9zbMath1405.68179OpenAlexW152809744MaRDI QIDQ5410669
Arnaud Sangnier, Nathalie Bertrand, Paulin Fournier
Publication date: 16 April 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_9
Communication networks in operations research (90B18) Network design and communication in computer systems (68M10) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Unnamed Item, Unnamed Item, Liveness in broadcast networks, Parameterized analysis of reconfigurable broadcast networks, Unnamed Item, Nash equilibria in symmetric graph games with partial observation, Parameterized verification of coverability in infinite state broadcast networks, Unnamed Item
