Tag
The paper introduces an algebra-generic and differentiable evaluation engine for linear temporal logic, implemented in a PyTorch library called telos, to handle soft-valued systems in AI.