scientific article; zbMATH DE number 7297884

zbMath1458.68113arXiv1805.12592MaRDI QIDQ5144683

Moshe Y. Vardi, Aniello Murano, Raphaël Berthon, Sasha Rubin, Bastien Maubert

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1805.12592

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (19)

Graded modalities in strategy logic ⋮ Imperfect information in reactive modules games ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Complexity of planning for connected agents in a partially known environment ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Multi-player games with LDL goals over finite traces ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Intelligence in Strategic Games ⋮ Dependences in strategy logic ⋮ Alternating-time temporal logics with linear past ⋮ Knowing-how under uncertainty ⋮ Natural strategic ability ⋮ On composition of bounded-recall plans ⋮ Quantifying Bounds in Strategy Logic ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Time-aware uniformization of winning strategies

This page was built for publication: