Yannick Schillo

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Decision Making

Objective Function

Top Venues

Publications

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. ATVA (2021)