110 citations · 163 across the 22 of their papers we have counts for
1 paper · 2 filters
Justin Curry, Alberto Speranzon
In this paper, we develop a stratification-based semantics for Signal Temporal Logic (STL) in which each atomic predicate is interpreted as a membership test in a stratified space.…