17 citations · 44 across the 4 of their papers we have counts for
4 papers
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…
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
L. Brim, J. Fabriková, S. Dražan +1
In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems i…
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Lubos Brim, Jana Fabrikova, Sven Drazan +1
In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is…
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiří Barnat, Luboš Brim, Ivana Černá +5
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical r…