Backward through Time, Algebraically

The paper introduces a differentiable evaluation engine for linear temporal logic (LTL) that is algebra‑generic and suitable for training soft‑valued systems such as neural policies and adaptive controllers. It presents an executable specification of the algebras it can accept, implements several algebras, and audits their forward and backward behavior, all within the PyTorch library telos.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

• rag