DOI,IST REx ID,Title of publication
10.1145/2728606.2728650,1500,Poster: HyRG: A random generation tool for affine hybrid automata