Thomas Eiter, Katsumi Inoue, Nelson Higuera, Sota Moriyama: T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints. NeurIPS 2025