Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …

Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …

Abstract Cyber-physical systems (CPS), such as automotive systems, are starting to include
sophisticated machine learning (ML) components. Their correctness, therefore, depends on …

This paper presents a technique, named STLCG, to compute the quantitative semantics of
Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a …

In this article, we focus on inferring high-level descriptions of a system from its execution
traces. Specifically, we consider a classification problem where system behaviors are …

Real-world applications often naturally decompose into several sub-tasks. In many settings
(eg, robotics) demonstrations provide a natural way to specify the sub-tasks. However, most …

The maturity of sensor network technologies has facilitated the emergence of an industrial
Internet of Things (IIoT), which has collected an increasing volume of data. Converting these …

Cyber-physical system applications such as autonomous vehicles, wearable devices, and
avionic systems generate a large volume of time-series data. Designers often look for tools …

An open problem for autonomous driving is how to validate the safety of an autonomous
vehicle in simulation. Automated testing procedures can find failures of an autonomous …

Traffic systems, where human and autonomous drivers interact, are a very relevant instance
of complex systems and produce behaviors that can be regarded as trajectories over time …