Our work Discovering User-Interpretable Capabilities of Black-Box Planning Agents has been accepted at KR 2022.