25 citations · 40 across the 8 of their papers we have counts for
1 paper · 2 filters
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…