_id,doi,title
467,10.1145/3152769,Nested weighted automata
471,10.1145/3060139,Faster statistical model checking for unbounded temporal properties