Skip to content

References

  1. G. De Giacomo and M. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In IJCAI, 2013.
  2. R. Brafman, G. De Giacomo, and F. Patrizi. LTLf/LDLf non-markovian rewards. In AAAI, 2018.
  3. De Giacomo, G., Di Stasio, A., Fuggitti, F., & Rubin, S. (2020). Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. In IJCAI, 2020.