scientific article; zbMATH DE number 7533366
From MaRDI portal
Publication:5079765
DOI10.4230/LIPICS.TIME.2018.3zbMATH Open1487.68157MaRDI QIDQ5079765FDOQ5079765
Authors: Wojciech Jamroga 
Publication date: 28 May 2022
Title of this publication is not available (Why is that?)
Recommendations
- Model Checking Logics of Strategic Ability: Complexity*
- Reasoning about strategies: on the model-checking problem
- Model Checking Strategic Equilibria
- Theoretical Computer Science
- Model checking abilities of agents: a closer look
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
- Easy Yet Hard: Model Checking Strategies of Agents
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
model checkingalternating-time temporal logicstrategic abilitymodel reductionsapproximate verificationimperfect information games
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)
Cites Work
- Alternating-time temporal logic
- Model Checking Logics of Strategic Ability: Complexity*
- Models of strategic reasoning. Logics, games, and communities
- Alternating-time logic with imperfect recall
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Approximate verification of strategic abilities under imperfect information
- Synthesis and verification of uniform strategies for multi-agent systems
- Relating paths in transition systems: the fall of the modal mu-calculus
Cited In (2)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079765)
