AMT: A Runtime Verification Tool of Video Streams. - Valentin Besnard; Mathieu Huet; Stoyan Bivolarov; Nourredine Saadi; Guillaume Cornard (RV, 2023)