21 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
Sleiman Safaoui, Lars Lindemann, Dimos V Dimarogonas +2
We present a general framework for risk semantics on Signal Temporal Logic (STL) specifications for stochastic dynamical systems using axiomatic risk theory. We show that under our…