Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. - Raven Rothkopf; Hannah Tongxin Zeng; Mark Santolucito (CoRR, 2024)