Context: Cyber–physical systems present a challenge to testers, bringing complexity and
scale to safety-critical and collaborative environments. Digital twins enhance these systems …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

We present a counterexample-guided inductive synthesis approach to controller synthesis
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in …

Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …

Robotic vehicles (RVs) are becoming essential tools of modern systems, including
autonomous delivery services, public transportation, and environment monitoring. Despite …

Networked dynamical systems are increasingly used as models for a variety of processes
ranging from robotic teams to collections of genetically engineered living cells. As the …

Automated test generation and evaluation in simulation environments is a key technology for
verification of automated driving (AD) applications. Search-based testing (SBT) is an …

One of the advantages of adopting a model-based development process is that it enables
testing and verification at early stages of development. However, it is often desirable to not …

Cyber physical systems (CPSs) are rapidly developing, with increasing scale, complexity,
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …