15. ATVA 2017: Pune, India

Invited Talk

Program Analysis

Model Checking and Temporal Logics

Neural Networks

Learning and Invariant Synthesis

Hybrid Systems and Control

maintained by Schloss Dagstuhl LZI at University of Trier