ARCH@CPSIoTWeek

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

Pub Date : 2019-05-25 DOI: 10.29007/rjwn Goran Frehse, A. Abate, D. Adzkiya, Anna Becchi, Lei Bu, A. Cimatti, Mirco Giacobbe, A. Griggio, Sergio Mover, M. S. Mufid, Idriss Riouak, Stefano Tonetta, E. Zaffanella

Verification of Closed-loop Systems with Neural Network Controllers

Pub Date : 2019-05-25 DOI: 10.29007/btv1 Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Under the Hood of a Stand-Alone Lagrangian Reachability Tool

Pub Date : 2019-05-25 DOI: 10.29007/ns8p Sophie Gruenbacher, J. Cyranka, Md. Ariful Islam, Max Tschaikowski, S. Smolka, R. Grosu