A technique that compiles formal specifications into automata that restrict an agent's actions to enforce safety constraints.