Proper Linear−time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis

Benjamin Aminof‚ Giuseppe De Giacomo‚ Sasha Rubin and Florian Zuleger