Skip to main content

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

Benjamin Aminof‚ Giuseppe De Giacomo‚ Sasha Rubin and Moshe Y. Vardi

Book Title
Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI)
Year
2025