ML Anthology

Complexity of Safety and coSafety Fragments of Linear Temporal Logic

Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
AAAI 2023 pp. 6236-6244
doi:10.1609/AAAI.V37I5.25768 /aaai/2023/artale2023aaai-complexity/
AAAI Semantic Scholar

Cite

Text

Artale et al. "Complexity of Safety and coSafety Fragments of Linear Temporal Logic." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25768

Markdown

[Artale et al. "Complexity of Safety and coSafety Fragments of Linear Temporal Logic." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/artale2023aaai-complexity/) doi:10.1609/AAAI.V37I5.25768

BibTeX

@inproceedings{artale2023aaai-complexity,
  title     = {{Complexity of Safety and coSafety Fragments of Linear Temporal Logic}},
  author    = {Artale, Alessandro and Geatti, Luca and Gigante, Nicola and Mazzullo, Andrea and Montanari, Angelo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6236-6244},
  doi       = {10.1609/AAAI.V37I5.25768},
  url       = {https://mlanthology.org/aaai/2023/artale2023aaai-complexity/}
}