Publications and working notes.

A differentiable logic-loss approach for injecting LTLf (Linear Temporal Logic on finite traces) constraints directly into autoregressive sequence-model policies (Decision Transformer, Trajectory Transformer), evaluated on the ColourBomb safety benchmark.