Runtime Enforcement of Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo

Browse the full ATVA paper archive.