DOI,IST REx ID,Research Group,Title of publication
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems