32nd CAV 2020: Los Angeles, CA, USA

Model Checking

Software Verification

Stochastic Systems

Synthesis

a service of Schloss Dagstuhl - Leibniz Center for Informatics