25 citations · 25 across the 1 of their papers we have counts for
1 paper
Axel Legay, Benoit Delahaye
Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresh…