|
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 |
|
|