FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program