What does AI have to do with RV? (extended abstract

Runtime Verification (RV) consists of monitoring the behavior of a system, either on-the-fly as it executes, or post-mortem after its execution for example by analyzing log files. Within the last decade several systems have been developed to address this issue. These systems usually implement specification languages which are based on formalisms such as state machines [11, 14, 8, 12, 5], regula