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

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Browse the full KR paper archive.