FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program