Joint state of the art on detection technologies for future networks

This report provides a state-of-the-art survey of anomaly detection techniques tailored for future networks: Artificial Intelligence (AI)-based Intrusion Detection Systems (IDSs) and Runtime Verification (RV), a formal method for monitoring system behavior.