Effective Approach to LTLf Best−Effort Synthesis in Multi−Tier Environments

Benjamin Aminof‚ Giuseppe De Giacomo‚ Gianmarco Parretti and Sasha Rubin