Spatiotemporale Rohre für Reach-Avoid-Stay-Spezifikationen✱ | Synapse