scientific article; zbMATH DE number 7297884
From MaRDI portal
Publication:5144683
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.
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 (20)
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 ⋮ Perspective games ⋮ 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:
