19 citations · 24 across the 18 of their papers we have counts for
1 paper · 1 filter
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We show the soundness of…