Workshop Program


LiVe 2018

Friday 20 April 2018, Kalliopi

08:00 Registration opens
08:30 – 09:00 Welcome
09:00 – 10:00 Invited Talk: Guy Katz
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
10:00 – 10:30 Coffee Break
10:30 – 12:30 SESSION 1
Learning Symbolic DFAs from Safety LTL Properties
Georgios Giantamidis, Stylianos Basagiannis and Stavros Tripakis
Using Machine Learning to Synthesize Specifications for Configuration Files
Mark Santolucito, Ruzica Piskac and Ennan Zhai
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Simone Silvetti
12:30 – 14:00 Lunch
14:00 – 16:00

SESSION 2
Invited Talk: Krishnamurthy Dvijotham, Pushmeet Kohli (Google DeepMind)
Towards Verifying Neural Networks

Minimizing Regret in Infinite-Duration Games Played on Graphs
Guillermo Perez

16:00 – 16:30 Coffee Break
16:30 – 18:00 SESSION 3
Monte-Carlo Tree Search in Verification of Markov Decision Processes
Pranav Ashok, Tomas Brazdil, Jan Kretinsky and Ondrej Slamecka
Discussion