We are delighted to announce that the paper “Cumulative-Time Signal Temporal Logic,” with Prof. Hongkai Chen as the first author, has received the sole Best Paper Award at the International Conference on Embedded Software (EMSOFT 2025).

Signal Temporal Logic (STL) is a crucial formalism for specifying time-based properties in Cyber-Physical Systems (CPSs). However, STL cannot express the duration for which a property holds over time—a critical limitation for many real-world applications. To address this, the team proposed Cumulative-Time Signal Temporal Logic (CT-STL), a powerful extension of STL that introduces a new operator to quantify the total duration a condition is satisfied within a given time interval.

EMSOFT is the flagship conference of ACM SIGBED and the premier forum for cutting-edge research in embedded software and systems. It is recognized as a top conference in Embedded and Real-time Systems by CSRankings.

This paper represents a collaboration between Prof. Chen and scholars from the US and Europe. Congratulations to Prof. Chen on this prestigious award!