2 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
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.…