17 citations · 105 across the 18 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.NA2013★ 3 cited
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
Lubos Brim, Milan Ceska, Sven Drazan +1
This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the ge…
cs.LO2013★ 17 cited
Robustness Analysis for Value-Freezing Signal Temporal Logic
L. Brim, T. Vejpustek, D. Šafránek +1
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL…