linear temporal logic

4 papers

• Characterizing the Expressivity of Fixed-Precision Transformer Language Models
• Imitation Learning with Temporal Logic Constraints
• Let a Neural Network be Your Invariant
• One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning