@misc{indiciae525667f09be3,
  title = {STL Robustness Risk over Discrete-Time Stochastic Processes},
  author = {Lars Lindemann and Nikolai Matni and George J. Pappas},
  year = {2022},
  url = {https://arxiv.org/abs/2104.01503},
  note = {Source identifier: 2104.01503}
}