chen-2026-a:
  type: chapter
  title: A General Framework for Robust Quantitative Semantics of Signal Temporal Logic
  author:
  - Chen, Jiawei
  - name: Mendonça
    given-name: José Luiz
    prefix: Vargas de
  - Mamouras, Konstantinos
  - Jeannin, Jean-Baptiste
  date: 2026
  page-range: 193-213
  url: http://dx.doi.org/10.1007/978-3-032-26220-2_10
  serial-number:
    doi: 10.1007/978-3-032-26220-2_10
    isbn: '9783032262202'
    issn: 1611-3349
  parent:
    type: book
    title: Formal Methods
    publisher: Springer Nature Switzerland