scientific article; zbMATH DE number 6821555
From MaRDI portal
Publication:4599509
zbMath1377.91014MaRDI QIDQ4599509
Publication date: 3 January 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noncooperative games (91A10) Discrete-time games (91A50) Games involving graphs (91A43) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (17)
Extending finite-memory determinacy to multi-player games ⋮ Parameterized games of perfect information ⋮ On equilibria in quantitative games with reachability/safety objectives ⋮ Equilibrium in two-player stochastic games with shift-invariant payoffs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the Existence of Weak Subgame Perfect Equilibria ⋮ On the existence of weak subgame perfect equilibria ⋮ Equilibria in multi-player multi-outcome infinite sequential games ⋮ A Note on Game Theory and Verification ⋮ On subgame perfect equilibria in turn-based reachability timed games ⋮ Perfect information games where each player acts only once ⋮ Unnamed Item ⋮ Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives ⋮ Unnamed Item ⋮ A game-theoretic approach for the synthesis of complex systems ⋮ Iterated Boolean games
This page was built for publication:
