jeannin-2022-work:
  type: article
  title: 'Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic'
  author:
  - Jeannin, Jean-Baptiste
  - Chen, Jiawei
  - name: Mendonca
    given-name: Jose Luiz Vargas
    prefix: de
  - Mamouras, Konstantinos
  date: 2022-10
  page-range: 11-12
  url: http://dx.doi.org/10.1109/emsoft55006.2022.00013
  serial-number:
    doi: 10.1109/emsoft55006.2022.00013
  parent:
    type: proceedings
    title: 2022 International Conference on Embedded Software (EMSOFT)
    publisher: IEEE