@inproceedings{lequen-et-al-kr2026,
  author       = {Arnaud Lequen and Cl{\'e}ment Legrand-Lixon and L{\'e}o Sauli{\`e}res},
  title        = {Generating Explainable Counterfactual Policies through Temporal Logic
    Queries},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Principles
    of Knowledge Representation and Reasoning (KR 2026)},
  year         = 2026,
}