Write a Blog >>
Tue 21 Jan 2020 09:00 - 09:30 at St Jerome - Papers 6 Chair(s): Andreas Podelski

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Papers 6VMCAI at St Jerome
Chair(s): Andreas Podelski University of Freiburg, Germany
09:00
30m
Talk
How to Win First-Order Safety Games
VMCAI
Helmut Seidl Technische Universität München, Christian Müller Technical University of Munich, Bernd Finkbeiner Saarland University
09:30
30m
Talk
Improving Parity Game Solvers with Justifications
VMCAI
Ruben Lapauw Katholieke Universiteit Leuven, Maurice Bruynooghe Katholieke Universiteit Leuven, Marc Denecker Katholieke Universiteit Leuven