FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SR SR18 PAPERS: KEYWORD INDEX
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