Describir: Behavioral mathematics for game AI