21st HSCC 2018: Porto, Portugal

Stochastic Systems

Reachability

Timed Systems

Stabilization and Control Design

Compositional Methods

Data-driven Design

Temporal Logic and its Applications

Algorithms and Foundations

Modeling and Verification

Abstracts for Demos and Posters

maintained by Schloss Dagstuhl LZI at University of Trier