Highlights•Cyber-physical systems (CPS) are increasingly common across the water
cycle.•CPS are transforming how we manage and govern water safely and sustainably.• …

Automated Driving Systems (ADS) have made great achievements in recent years thanks to
the efforts from both academia and industry. A typical ADS is composed of multiple modules …

A particularly challenging problem in AI safety is providing guarantees on the behavior of
high-dimensional autonomous systems. Verification approaches centered around …

Cyber-Physical Systems (CPSs) are increasingly prevalent across various industrial and
daily-life domains, with applications ranging from robotic operations to autonomous driving …

As a representative cyber-physical system (CPS), robotic manipulators have been widely
adopted in various academic research and industrial processes, indicating their potential to …

Cyber-Physical Systems (CPSs) have been widely adopted in various industry domains to
support many important tasks that impact our daily lives, such as automotive vehicles …

In AI-enabled CPSs, DNNs are used as controllers for the physical system. Despite their
advantages, DNN controllers can produce wrong control decisions, which can lead to safety …

Cyber-physical systems (CPSs) are now widely deployed in many industrial domains, eg,
manufacturing systems and autonomous vehicles. To further enhance the capability and …

Cyber-Physical Systems (CPSs) are increasingly adopting deep neural networks (DNNs) as
controllers, giving birth to AI-enabled CPSs. Despite their advantages, many concerns arise …

Cyber-Physical Systems (CPS) have been widely deployed in safety-critical domains such
as transportation, power and energy. Recently, there comes an increasing demand in …