Keyword:Piecewise Constant Dynamics

Publications
ARCH-COMP25 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)