Building Blocks of Temporal Logic for Everyone
Enforcing Temporal Constraints on Generative Agents with Reactive Synthesis