2 papers
cs.FL2025
A Hierarchy of Nondeterminism
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
We study three levels in a hierarchy of nondeterminism: A nondeterministic automaton is determinizable by pruning (DBP) if we can obtain a deterministic automaton equ…
cs.LO2025
Synthesis with Privacy Against an Observer
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…