Synthesis with Privacy Against an Observer.

Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy

Browse the full FOSSACS paper archive.