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

a service of Schloss Dagstuhl - Leibniz Center for Informatics