Intersection management of Connected Autonomous Vehicles (CAVs) has the potential to
improve safety and mobility. CAVs approaching an intersection can exchange information …

As Automated Vehicles (AV) get ready to hit the public roads unsupervised, many practical
questions still remain open. For example, there is no commonly acceptable formal definition …

Neural Networks (NN) have been proposed in the past as an effective means for both
modeling and control of systems with very complex dynamics. However, despite the …

Utilizing intelligent transportation infrastructures can significantly improve the throughput of
intersections of Connected Autonomous Vehicles (CAV), where an Intersection Manager …

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

In this paper, a reinforcement learning approach for designing feedback neural network
controllers for nonlinear systems is proposed. Given a Signal Temporal Logic (STL) …

The development of technologies and computing resources has not only expanded the
range of digital services in all spheres of human activity, but also determined the range of …

Autonomous Vehicles (AV) are inevitable entities in future mobility systems that demand
safety and adaptability as two critical factors in replacing/assisting human drivers. Safety …

Abstract Since many Cyber–Physical Systems (CPS) interact with the real world, they are
safety-or mission-critical. Temporal specification languages like STL (Signal Temporal …

Monitoring is the core procedure of runtime verification of cyber-physical systems (CPS) and
provides an evaluation of a signal with respect to a given specification. For formally …