PropaLTL-dipromats-2023-es-identification