@misc{indiciae453a6f8deab0,
  title = {Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks},
  author = {Ryan Matheu and Sai Sandeep Damera and John S. Baras and Calin Belta},
  year = {2026},
  url = {https://arxiv.org/abs/2610.04662},
  note = {Source identifier: 2610.04662}
}