The following pages link to Gal Amram (Q832234):
Displaying 9 items.
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- An efficient generalized shift-rule for the prefer-max de Bruijn sequence (Q2279980) (← links)
- Two-process synchronization (Q2357145) (← links)
- The F-Snapshot Problem (Q2835024) (← links)
- On the Signaling Problem (Q5172630) (← links)
- De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem (Q6301254) (← links)
- A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence (Q6364721) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)