Synthesis of Maximally Permissive Strategies for LTLf Specifications

Shufang Zhu, Giuseppe De Giacomo

• Video #1 Length : 00:01:25 on SlidesLive
• Video #2 Length : 00:05:16 on SlidesLive