_id,title
3447,Weighted quantified computation tree logic