The paper "A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification" has been accepted for the "CyPhy'18" workshop (http://www.cyphy.org/) as part of the "ESWEEK" event on embedded systems and software (https://www.esweek.org/).
Sascha Lehmann presents the work at the conference.
