A General Framework for Robust Quantitative Semantics of Signal Temporal Logic

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras, Jean-Baptiste Jeannin
DOI: 10.5281/zenodo.18626160
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge Petri Nets in System Modeling

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 February 2026
Language
EN