V. Putrich,
T. Bauerschmidt,
C. Jain,
S. Lin,
J. Hoffmann, and
I. Valera,
Formula Neural Networks as Action Policies in Safety-Critical
Planning: An Empirical Evaluation, Proceedings of the 19th
Annual Symposium on Combinatorial Search (SoCS'26),
2026. (PDF)