11th International Workshop on Reachability Problems
7 - 9 September 2017, London, UK
RP 2018 Announcement
The 2018 edition of RP will be held in Marseille, 24-26 September 2018.
Invited Speakers
Hana Chockler, King's College London
How do we know that our system is correct?
[abstract]
[Presentation Slides]
Laurent Doyen, LSV - ENS Cachan
The multiple dimensions of mean-payoff games
[abstract]
[Presentation Slides]
Raphaël Jungers, Université catholique de Louvain
Path-complete Lyapunov techniques: stability, safety, and beyond ?
[abstract]
Andreas Podelski, University of Freiburg
Trace Abstraction
[abstract]