_id,doi,title
1499,10.4230/LIPIcs.CONCUR.2015.142,Polynomial time decidability of weighted synchronization under partial observability