Program
| Saturday, April 5, 2014 | |
|---|---|
| 09:15 - 09:30 | Welcome to SR 2014 |
| 09:30 - 10:30 |
Invited Talk
Thomas A. Henzinger. Simulation Games. Chair: Alessio R. Lomuscio. |
| 10:30 - 11:00 | Coffee Break |
|
Morning Session I (11:00 - 12:30)
Chair: Moshe Y. Vardi. |
|
| 11:00 - 11:30 |
Véronique Bruyère, Emmanuel Filiot, Mickael Randour and Jean-Francois Raskin.
Expectations or Guarantees? I Want It All! A Crossroad Between Games and MDPs. |
| 11:30 - 12:00 |
Lluis Godo and Enrico Marchioni.
Games for the Strategic Influence of Expectations. |
| 12:00 - 12:30 |
Piero Bonatti, Marco Faella, and Luigi Sauro.
Partial Preferences for Mediated Bargaining. |
| 12:30 - 13:45 | Lunch |
| 13:45 - 14:45 |
Invited Talk
Alessio R. Lomuscio. Model Checking Systems Against Epistemic Specifications. Chair: Thomas A. Henzinger. |
| 14:45 - 15:00 | Break |
|
Afternoon Session I.I (15:00 - 16:00)
Chair: Aniello Murano. |
|
| 15:00 - 15:30 |
Francesco Belardinelli.
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. |
| 15:30 - 16:00 |
Xiaowei Huang and Ron van der Meyden.
An Epistemic Strategy Logic. |
| 16:00 - 16:30 | Coffee Break |
|
Afternoon Session I.II (16:30 - 17:30)
Chair: Aniello Murano. |
|
| 16:30 - 17:00 |
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, and Jean-Francois Raskin.
Doomsday Equilibria for Omega-Regular Games. |
| 17:00 - 17:30 |
Patricia Bouyer, Nicolas Markey, and Steen Vester.
Nash Equilibria in Symmetric Games with Partial Observation. |
| Sunday, April 6, 2014 | |
|---|---|
| 09:30 - 10:30 |
Invited Talk
Wiebe van der Hoek. Two Themes in Modal Logic. Chair: Wolfgang Thomas. |
| 10:30 - 11:00 | Coffee Break |
|
Morning Session II (11:00 - 12:30)
Chair: Luigi Sauro. |
|
| 11:00 - 11:30 |
Dimitar Guelev.
Refining and Delegating Strategic Ability in ATL. |
| 11:30 - 12:00 |
Clàudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt.
A Resolution Prover for Coalition Logic. |
| 12:00 - 12:30 |
Xiang Jiang and Arno Pauly.
Decomposing Bimatrix Games. |
| 12:30 - 13:45 | Lunch |
|
Afternoon Session II.I (13:45 - 14:45)
Chair: Fabio Mogavero. |
|
| 13:45 - 14:15 |
Benjamin Aminof and Sasha Rubin.
Cycle Games. |
| 14:15 - 14:45 |
Dietmar Berwanger and Anup Basil Mathew.
Games with Recurring Certainty. |
| 14:45 - 15:00 | Break |
| 15:00 - 16:00 |
Invited Talk
Wolfgang Thomas. What are "Good" Winning Strategies in Infinite Games? Chair: Wiebe van der Hoek. |
| 16:00 - 16:30 | Coffee Break |
|
Afternoon Session II.II (16:30 - 17:30)
Chair: Fabio Mogavero. |
|
| 16:30 - 17:00 |
Guillaume Aucher, Bastien Maubert, and Sophie Pinchinat.
Automata Techniques for Epistemic Protocol Synthesis. |