Running a barracks can't be that different from symbolic problems in abstract dynamics.