##article.return## SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Download Download PDF