Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning