Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks
DGX agentarXiv:2610.04662v1 Announce Type: cross Abstract: Temporal logic provides designers a formal reasoning tool for specifying complex spatio-temporal behaviors and tasks for autonomous systems. Many tech