Concurrent game structures with roles

MaRDI QIDQ3388745zbMATH OpenFDO

Authors Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak, Erik Parmann

Publication date 6 May 2021

Full work available at URL https://arxiv.org/abs/1303.0792, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR.11

Mathematics Subject Classification ID

Temporal logic (03B44) Wireless sensor networks as related to computer science (68M18) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Recommendations

• Temporal logics for games
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• Alternating-time temporal logic
• Model-Checking Timed ATL for Durational Concurrent Game Structures
• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking

This page was built for publication: Concurrent game structures with roles

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