From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Sebastian AltmeyerÉtienne AndréSilvano Dal-ZilioLoïc FejozMichael González HarbourSusanne GrafJ. Javier GutiérrezRafik HeniaDidier Le BotlanGiuseppe LipariJulio L. MedinaNicolas NavetSophie QuintonJuan Maria RivasYoucheng SunPublished in: ECRTS (2023)