Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks figure
AlphaXiv 中文概览(可滚动查看)