SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis. - Yuanfei Lin; Sebastian Illing; Matthias Althoff (CoRR, 2025)