研究论文 · 发布 2020.11.24 · 发表／录用：作者报告
神经元激活模式的可证明稳健运行时监控
Provably-Robust Runtime Monitoring of Neuron Activation Patterns
资料概述
监控器构建先用符号推理界定输入扰动下的神经元取值，再抽象训练激活模式。多位区间扩展其表示，旨在减少误报并保留可证明稳健性。
出版与版本信息
发表、录用或会议信息来自 arXiv 上作者的报告，下方保留原文表述。
原文作者提供的信息
以下为 arXiv 上作者提供的信息。
Paper accepted at IEEE DATE'21
版本: arXiv v2 — manuscript revision