Counterexample Guided Synthesis of Monitors for Realizability Enforcement.

Matthias Gdemann, Gwen Salan, Meriem Ouederni

Browse the full ATVA paper archive.