Generating Explainable Counterfactual Policies through Temporal Logic Queries

Publication
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning