Energy Games with Resource-Bounded Environments. - Orna Kupferman; Naama Shamash Halevy (CONCUR, 2022)

Synthesis with Privacy Against an Observer. - Orna Kupferman; Ofer Leshkowitz; Naama Shamash Halevy (FoSSaCS (1), 2024)