HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:PCDB Category

Publications
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'Ul Mufid, Rajarshi Ray, Yuming Wu and Enea Zaffanella
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Copyright © 2012-2025 easychair.org. All rights reserved.