Verifying Memoryless Sequential Decision-making of Large Language ModelsAuthorsD. Gross, H. Spieker and A. GotliebStatusPublishedPublication typeTechnical ReportsYear of publication2025Journal-Publisher-URLhttps://arxiv.org/abs/2510.06756DOI10.48550/arXiv.2510.06756Citation key18351Google Scholar BibTex