LTLf synthesis under environment specifications for reachability and safety properties

Benjamin Aminof‚ Giuseppe De Giacomo‚ Antonio Di Stasio‚ Hugo Francon‚ Sasha Rubin and Shufang Zhu