Synthesis of Maximally Permissive Strategies for LTLf Specifications.

Shufang Zhu, Giuseppe De Giacomo

Browse the full IJCAI paper archive.