On Dependent Variables in Reactive Synthesis.

S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried

Browse the full TACAS paper archive.