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