On the complexity of rational verification
type: Item
instance of: scholarly article
title: On the complexity of rational verification
author: Julian Gutiérrez
author: Muhammad Najib
author: Giuseppe Perelli
author: M. J. Wooldridge
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2023-08-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2207.02637
Mathematics Subject Classification ID: 68Txx
zbMATH DE Number: 7730283
zbMATH Keywords: temporal logic
zbMATH Keywords: game theory
zbMATH Keywords: rational verification
zbMATH Keywords: multi-agent systems
MaRDI profile type: MaRDI publication profile
cites work: Alternating-time temporal logic
cites work: Deterministic generators and games for LTL fragments
cites work: Synthesis of Reactive(1) designs
cites work: Temporal specifications with accumulative values
cites work: Deciding parity games in quasipolynomial time
cites work: Model checking
cites work: The complexity of rational synthesis
cites work: The complexity of rational synthesis for concurrent games
cites work: Q4385542
cites work: Rational synthesis under imperfect information
cites work: Rational synthesis
cites work: Expressiveness and complexity results for strategic reasoning
cites work: Iterated Boolean games
cites work: From model checking to equilibrium checking: reactive modules for rational verification
cites work: Reasoning about equilibria in game-like concurrent systems
cites work: Automated temporal equilibrium analysis: verification and synthesis of multi-player games
cites work: Imperfect information in reactive modules games
cites work: Synthesis with rational environments
cites work: A course in game theory.
cites work: Q4205072
cites work: Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
cites work: Bisection is optimal
cites work: The Complexity of Nash Equilibria in Limit-Average Games
cites work: The complexity of mean payoff games on graphs
DOI: 10.1007/S10472-022-09804-3
copyright license: Creative Commons Attribution 4.0 International
description: scientific article; zbMATH DE number 7730283