Expanding the Horizon of Linear Temporal Logic Inference for Explainability | IEEE Conference Publication | IEEE Xplore