Pure-past Linear Temporal and Dynamic Logic on Finite Traces

De Giacomo et al. "Pure-past Linear Temporal and Dynamic Logic on Finite Traces." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/690

[De Giacomo et al. "Pure-past Linear Temporal and Dynamic Logic on Finite Traces." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/giacomo2020ijcai-pure/) doi:10.24963/IJCAI.2020/690

@inproceedings{giacomo2020ijcai-pure,
  title     = {{Pure-past Linear Temporal and Dynamic Logic on Finite Traces}},
  author    = {De Giacomo, Giuseppe and Di Stasio, Antonio and Fuggitti, Francesco and Rubin, Sasha},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {4959-4965},
  doi       = {10.24963/IJCAI.2020/690},
  url       = {https://mlanthology.org/ijcai/2020/giacomo2020ijcai-pure/}
}