10 citations · 24 across the 4 of their papers we have counts for
1 paper · 1 filter
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…