150 citations · 623 across the 65 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…