FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Avni, Guy	Infinite-Duration Richman Bidding Games
B
Basset, Nicolas	Beyond admissibility: Dominance between chains of strategies
Belardinelli, Francesco	Verification of Multi-agent Systems with Imperfect Information and Public Actions
Berthon, Raphaël	Strategy Logic with Imperfect Information
Bouyer, Patricia	Dependences in Strategy Logic
C
Chonev, Ventsislav	Infinite-Duration Richman Bidding Games
D
Di Stasio, Antonio	Solving Parity Games: Explicit vs Symbolic
E
Elkind, Edith	Strategic behavior in social choice - Part 1 Strategic behavior in social choice - Part 2
F
Fijalkow, Nathanaël	Quantifying Bounds in Strategy Logic
G
Gardy, Patrick	Dependences in Strategy Logic
Ghani, Neil	Compositional Game Theory
Gutierrez, Julian	Local Equilibria in Logic-Based Multi-Player Games
H
Harrenstein, Paul	Local Equilibria in Logic-Based Multi-Player Games
Hedges, Jules	Compositional Game Theory
Henzinger, Thomas A.	Infinite-Duration Richman Bidding Games
J
Jecker, Ismaël	Beyond admissibility: Dominance between chains of strategies
Jurdziński, Marcin	Parity Games - Part 1 Parity Games - Part 2
L
Le Roux, Stephane	Concurrent games and semi-random determinacy
Lomuscio, Alessio	Verification of Multi-agent Systems with Imperfect Information and Public Actions
M
Markey, Nicolas	Dependences in Strategy Logic
Maubert, Bastien	Quantifying Bounds in Strategy Logic Strategy Logic with Imperfect Information
Murano, Aniello	Solving Parity Games: Explicit vs Symbolic Verification of Multi-agent Systems with Imperfect Information and Public Actions Quantifying Bounds in Strategy Logic Strategy Logic with Imperfect Information
P
Pauly, Arno	Beyond admissibility: Dominance between chains of strategies
R
Raskin, Jean-Francois	Beyond admissibility: Dominance between chains of strategies
Rubin, Sasha	Verification of Multi-agent Systems with Imperfect Information and Public Actions Quantifying Bounds in Strategy Logic Strategy Logic with Imperfect Information
S
Steeples, Thomas	Local Equilibria in Logic-Based Multi-Player Games
V
Van Den Bogaard, Marie	Beyond admissibility: Dominance between chains of strategies
Vardi, Moshe	Solving Parity Games: Explicit vs Symbolic Strategy Logic with Imperfect Information
W
Winschel, Viktor	Compositional Game Theory
Wooldridge, Michael	Local Equilibria in Logic-Based Multi-Player Games
Z
Zahn, Philipp	Compositional Game Theory

Disclaimer | Powered by EasyChair Smart Program