Monitoring Data-aware Temporal Properties (Extended Version)
arXiv:2605.14666v1 Announce Type: new
Abstract: Dynamic systems in AI are often complex and heterogeneous, so that an internal specification is not accessible and verification techniques such as model checking are not applicable. Monitoring is in such…