Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments.

Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

Browse the full IJCAI paper archive.