The following pages link to Orna Kupferman (Q216121):
Displaying 16 items.
- Model checking of safety properties (Q5949490) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)
- Fair simulation (Q6044123) (← links)
- (Q6070602) (← links)
- A Hierarchy of Nondeterminism (Q6113373) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- A space-efficient on-the-fly algorithm for real-time model checking (Q6162102) (← links)
- Lazy regular sensing (Q6175512) (← links)
- On (I/O)-Aware Good-For-Games Automata (Q6485864) (← links)
- The complexity of LTL rational synthesis (Q6535558) (← links)
- CONCUR test-of-time award 2022 (invited paper) (Q6587106) (← links)
- Energy games with resource-bounded environments (Q6587127) (← links)
- Synthesis of privacy-preserving systems (Q6604659) (← links)
- Synthesis with privacy against an observer (Q6629463) (← links)
- On semantically-deterministic automata (Q6638115) (← links)
- Perspective games (Q6654473) (← links)