_id,doi,title
13221,10.4230/LIPIcs.CONCUR.2023.17,Safety and liveness of quantitative automata