Multi-valued Verification of Strategic Ability

DOI10.3233/FI-2020-1955zbMath1497.68307MaRDI QIDQ4988961

Damian Kurpiewski, Beata Konikowska, Wojciech Penczek, Wojciech Jamroga

Publication date: 20 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (1)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Uses Software

• PRISM
• MCMAS
• PRISM-games
• MCMAS-SLK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-valued model checking games
• Improved model checking of hierarchical systems
• Model checking computation tree logic over finite lattices
• A logic for reasoning about time and reliability
• Approximate verification of strategic abilities under imperfect information
• Model checking abilities of agents: a closer look
• Action and knowledge in alternating-time temporal logic
• Model checking discounted temporal properties
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• Synthesis and Verification of Uniform Strategies for Multi-agent Systems
• Reasoning About Strategies
• Model Checking Logics of Strategic Ability: Complexity*
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• A domain equation for refinement of partial systems
• PRISM-games: A Model Checker for Stochastic Multi-Player Games
• Monitoring of Real-Time Properties
• Automata, Languages and Programming
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Multi-valued Verification of Strategic Ability