ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Tue, 01 Jan 2019 00:00:00 +0100

Goran Frehse , Alessandro Abate, Dieky Adzkiya , Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe , Alberto Griggio , Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak , Stefano Tonetta, Enea Zaffanella :
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13