@inbook{chen-2026-a, title={A General Framework for Robust Quantitative Semantics of Signal Temporal Logic}, ISBN={9783032262202}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-26220-2_10}, DOI={10.1007/978-3-032-26220-2_10}, booktitle={Formal Methods}, publisher={Springer Nature Switzerland}, author={Chen, Jiawei and Vargas de Mendonça, José Luiz and Mamouras, Konstantinos and Jeannin, Jean-Baptiste}, year={2026}, pages={193–213} }