Matheu, R., Damera, S. S., Baras, J. S., & Belta, C. (2026). Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks. https://omanscience.com/en/articles/differentiable-ternary-temporal-logic-semantics-with-polynomial-surrogate-networks