21st HSCC 2018: Porto, Portugal

Refine list

showing all ?? records

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