_id,doi,title
13221,10.4230/LIPIcs.CONCUR.2023.17,Safety and liveness of quantitative automata
13292,10.4230/LIPIcs.ICALP.2023.129,Regular methods for operator precedence languages
12467,10.1007/978-3-031-30829-1_17,Quantitative safety and liveness
11775,10.1007/978-3-031-17196-3_11,Abstract monitors for quantitative specifications
12302,10.1007/978-3-031-13188-2_6,FORQ-based language inclusion formal testing