1
Monitoring Data-aware Temporal Properties (Extended Version)
提出一种面向数据感知时序属性的监测方法，适用于未知动态AI系统的实时评估。
arXiv:2605.14666v1 Announce Type: new Abstract: Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not ac…