FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
abstract winning condition	Concurrent games and semi-random determinacy
admissibility	Beyond admissibility: Dominance between chains of strategies
Alternating-time Temporal Logic	Verification of Multi-agent Systems with Imperfect Information and Public Actions
Automata with counters	Quantifying Bounds in Strategy Logic
B
Bidding games	Infinite-Duration Richman Bidding Games
Boolean games	Local Equilibria in Logic-Based Multi-Player Games
C
category theory	Compositional Game Theory
compositionality	Compositional Game Theory
D
dependence maps	Dependences in Strategy Logic
dominance	Beyond admissibility: Dominance between chains of strategies
E
elementary semantics	Dependences in Strategy Logic
F
Formal Methods	Verification of Multi-agent Systems with Imperfect Information and Public Actions
G
games played on finite graphs	Beyond admissibility: Dominance between chains of strategies
graph	Concurrent games and semi-random determinacy
H
Hierarchical information	Strategy Logic with Imperfect Information
I
Imperfect information	Strategy Logic with Imperfect Information
Implementation and benchmarks for parity games	Solving Parity Games: Explicit vs Symbolic
increasing chains	Beyond admissibility: Dominance between chains of strategies
infinite duration	Concurrent games and semi-random determinacy
Iterated Boolean games	Local Equilibria in Logic-Based Multi-Player Games
L
Linear Temporal Logic	Local Equilibria in Logic-Based Multi-Player Games
Logics for strategic reasoning	Verification of Multi-agent Systems with Imperfect Information and Public Actions
M
Mean-payoff games	Infinite-Duration Richman Bidding Games
model checking	Verification of Multi-agent Systems with Imperfect Information and Public Actions Quantifying Bounds in Strategy Logic Strategy Logic with Imperfect Information
Multi-agent Systems	Verification of Multi-agent Systems with Imperfect Information and Public Actions Local Equilibria in Logic-Based Multi-Player Games
Multi-player games	Local Equilibria in Logic-Based Multi-Player Games
N
Nash equilibria	Compositional Game Theory
Nash equilibrium	Local Equilibria in Logic-Based Multi-Player Games
O
open games	Compositional Game Theory
order theory	Beyond admissibility: Dominance between chains of strategies
P
parity games	Infinite-Duration Richman Bidding Games Solving Parity Games: Explicit vs Symbolic Dependences in Strategy Logic
Prompt LTL	Quantifying Bounds in Strategy Logic
R
rationality	Beyond admissibility: Dominance between chains of strategies
Richman games	Infinite-Duration Richman Bidding Games
S
skolemization	Dependences in Strategy Logic
Strategy Logic	Quantifying Bounds in Strategy Logic Local Equilibria in Logic-Based Multi-Player Games Strategy Logic with Imperfect Information Dependences in Strategy Logic
Symbolic algorithms	Solving Parity Games: Explicit vs Symbolic
T
Two-player win/lose	Concurrent games and semi-random determinacy
V
Verification	Quantifying Bounds in Strategy Logic

Disclaimer | Powered by EasyChair Smart Program