TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
abstract winning condition | |
admissibility | |
Alternating-time Temporal Logic | |
Automata with counters | |
B | |
Bidding games | |
Boolean games | |
C | |
category theory | |
compositionality | |
D | |
dependence maps | |
dominance | |
E | |
elementary semantics | |
F | |
Formal Methods | |
G | |
games played on finite graphs | |
graph | |
H | |
Hierarchical information | |
I | |
Imperfect information | |
Implementation and benchmarks for parity games | |
increasing chains | |
infinite duration | |
Iterated Boolean games | |
L | |
Linear Temporal Logic | |
Logics for strategic reasoning | |
M | |
mean-payoff games | |
model checking | |
Multi-agent Systems | |
Multi-player games | |
N | |
Nash equilibria | |
Nash equilibrium | |
O | |
open games | |
order theory | |
P | |
parity games | |
Prompt LTL | |
R | |
rationality | |
Richman games | |
S | |
skolemization | |
Strategy Logic | |
Symbolic Algorithms | |
T | |
Two-player win/lose | |
V | |
Verification |