Keyword:stochastic barrier functions

Publications
ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray, Rayan Mazouz and Yuhui Shi In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems