速報 從經典Shielding到機率性安全：保守擴展與離線／線上構造法 研究聚焦在shielding這項模型導向技術對自主代理安全的應用。論文提出一個保守擴展框架,將傳統嚴格安全與最大允許性延伸到機率性安全領域。作者證明無法同時維持原始強保證,並提出具體弱化保證的shield與可離線與線上構造方法,實驗顯示新shield具備實用優勢與計算可行性。
