Navigation
Home
Conferences
Future Conferences
Past Conferences
Proceedings
IJCAI 2023 Proceedings
IJCAI 2022 Proceedings
All Proceedings
Awards
Trustees/officers
Current trustees
Trustees Elect
IJCAI Secretariat
IJCAI Sponsorship and Publicity Officers
IJCAI Team
Local Arrangements Chairs
Former Trustees serving on the Executive Committee
Other Former Officers
AI Journal
About
About IJCAI
Contact Information
Synthesis of Maximally Permissive Strategies for LTLf Specifications
Shufang Zhu, Giuseppe De Giacomo
Video #1 Length : 00:01:25
Video #2 Length : 00:05:16
