HVAC systems can achieve energy efficiency and occupant comfort by transitioning to interpretable decision tree policies and employing domain-specific verification criteria.