LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes

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