3 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 Guided Environments
Orna Kupferman, Ofer Leshkowitz
In the synthesis problem, we are given a specification, and we automatically generate a system that satisfies the specification in all environments. We introduce and study {\em syn…
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…