Abstract: Many modern large-language models (LLMs) achieve high accuracy on complex reasoning benchmarks, but their multi-step inference processes remain largely opaque, making it difficult to trust ...

Abstract: This article is concerned with the problem of safety control for switched systems, where different safe sets are allowed for different subsystems and safety is not necessarily possessed for ...