DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems