Shield Synthesis: - Runtime Enforcement for Reactive Systems.

Roderick Bloem, Bettina Knighofer, Robert Knighofer, Chao Wang

Browse the full TACAS paper archive.