_id,doi,title
1500,10.1145/2728606.2728650,Poster: HyRG: A random generation tool for affine hybrid automata