Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

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

Links

See Also

Back to Top