ML Anthology

Model Checking Causality

Tiago de Lima, Emiliano Lorini
IJCAI 2024 pp. 3324-3332
/ijcai/2024/delima2024ijcai-model/
PDF IJCAI Semantic Scholar

Cite

Text

de Lima and Lorini. "Model Checking Causality." International Joint Conference on Artificial Intelligence, 2024.

Markdown

[de Lima and Lorini. "Model Checking Causality." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/delima2024ijcai-model/)

BibTeX

@inproceedings{delima2024ijcai-model,
  title     = {{Model Checking Causality}},
  author    = {de Lima, Tiago and Lorini, Emiliano},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3324-3332},
  url       = {https://mlanthology.org/ijcai/2024/delima2024ijcai-model/}
}