|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SR SR18 PAPERS
| Authors | Title | Paper | Talk |
|---|
| Guy Avni, Thomas A. Henzinger and Ventsislav Chonev | Infinite-Duration Richman Bidding Games |  | Jul 08 14:00 | | Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-Francois Raskin and Marie Van Den Bogaard | Beyond admissibility: Dominance between chains of strategies | | Jul 07 17:20 | | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano and Sasha Rubin | Verification of Multi-agent Systems with Imperfect Information and Public Actions | | Jul 07 16:00 | | Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin and Moshe Vardi | Strategy Logic with Imperfect Information | | Jul 08 16:40 | | Antonio Di Stasio, Aniello Murano and Moshe Vardi | Solving Parity Games: Explicit vs Symbolic | | Jul 08 14:40 | | Nathanaël Fijalkow, Bastien Maubert, Aniello Murano and Sasha Rubin | Quantifying Bounds in Strategy Logic | | Jul 08 16:00 | | Patrick Gardy, Patricia Bouyer and Nicolas Markey | Dependences in Strategy Logic | | Jul 08 17:20 | | Neil Ghani, Jules Hedges, Philipp Zahn and Viktor Winschel | Compositional Game Theory | | Jul 07 14:00 | | Julian Gutierrez, Paul Harrenstein, Thomas Steeples and Michael Wooldridge | Local Equilibria in Logic-Based Multi-Player Games | | Jul 07 16:40 | | Stephane Le Roux | Concurrent games and semi-random determinacy | | Jul 07 14:40 |
|
|