Stav dette: Quantitative rational verification