15th ATVA 2017: Pune, India

Invited Talk

Program Analysis

Model Checking and Temporal Logics

Neural Networks

Learning and Invariant Synthesis

Hybrid Systems and Control

a service of Schloss Dagstuhl - Leibniz Center for Informatics