3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy
We study automatic synthesis of systems that interact with their environment and maintain privacy against an observer to the interaction. The system and the environment interact vi…