_id,doi,title
1605,10.1007/978-3-319-26287-1_2,Abstraction-based parameter synthesis for multiaffine systems