_id,doi,title
636,10.1007/978-3-319-65765-3_11,On the quantitative semantics of regular expressions over real-valued signals
647,10.1007/978-3-319-65765-3_7,Conic abstractions for hybrid systems