10 citations · 24 across the 4 of their papers we have counts for
1 paper · 2 filters
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) fo…