19. HSCC 2016: Vienna, Austria

Temporal Logic Applications

Analysis of Switched Systems

Case Studies and Tool Papers

Safety and Stability Analysis

Methods for Reachability Analysis

Time- and Event-based Models

Control Synthesis

Invited Speaker

Models with Uncertainty

Reachability Computation

maintained by Schloss Dagstuhl LZI at University of Trier