@misc{indiciae3d34cb081cea,
  title = {Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic},
  author = {Shirantha Welikala and Hai Lin and Panos J. Antsaklis},
  year = {2023},
  url = {https://arxiv.org/abs/2305.09116},
  note = {Source identifier: 2305.09116}
}