Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis.
Raven RothkopfHannah Tongxin ZengMark SantolucitoPublished in: CoRR (2024)
Keyphrases
- temporal constraints
- agent behavior
- agent architecture
- global consistency
- temporal reasoning
- agent based simulation
- multi agent
- autonomous agents
- multi agent systems
- intelligent agents
- constraint propagation
- human behavior
- reinforcement learning
- game theoretic
- workflow systems
- temporal information
- simple temporal
- temporal constraint networks
- cooperative
- simulation model
- multiagent systems
- mobile robot
- database
- agent teams