_id,doi,title
7231,10.1007/978-3-030-29662-9_8,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
7232,10.1007/978-3-030-29662-9_4,Mixed-time signal temporal logic