DOI,IST REx ID,Research Group,Title of publication
10.1109/RTSS49844.2020.00031,9202,ToHe,Hybridization for stability verification of nonlinear switched systems