Refining strategic ability in alternating-time temporal logic

DOI10.1016/j.ic.2016.10.013zbMath1370.68204OpenAlexW2547876167MaRDI QIDQ528195

Dimitar P. Guelev

Publication date: 12 May 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2016.10.013

zbMATH Keywords

model checkingrefinementproof systemalternating-time temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Automatic behavior composition synthesis
• Refinement modal logic
• Reasoning about Actions Meets Strategic Logics
• Strategy Logic
• Abstractions of Multi-agent Systems
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refining strategic ability in alternating-time temporal logic