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
LTL on Weighted Finite Traces: Formal Foundations and Algorithms
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
Video #1 Length : 00:01:26
Video #2 Length : 00:06:01
