ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics

ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics

This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this third editi...

Full description

Bibliographic Details
Main Authors: Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Syifa'ul Mufid, M, Riouak, I, Tonetta, S, Zaffanella, E
Format: Conference item
Language:English
Published: EasyChair 2019

Similar Items