The field of controller synthesis and temporal logic specifications is moving towards the development of more robust and resilient control systems. Researchers are exploring new methods to ensure that systems satisfy complex specifications and withstand disturbances. A key direction is the integration of temporal logic specifications with controller synthesis, enabling the design of controllers that can guarantee the satisfaction of safety and performance requirements. Another area of focus is the development of novel algorithms and frameworks for computing feasible assume-guarantee contracts, which can help ensure the satisfaction of temporal specifications in interconnected systems. Noteworthy papers in this area include: The paper on Maximally Resilient Controllers under Temporal Logic Specifications, which proposes a robust optimization program to synthesize controllers that maximize resilience. The paper on Constrained Decoding for Robotics Foundation Models, which introduces a constrained decoding framework to enforce logical constraints on action trajectories in dynamical systems.