When will automated vehicles come onto the market? This question has puzzled the
automotive industry and society for years. The technology and its implementation have …

Verification and validation (V&V) hold a significant position in the research and development
of automated vehicles (AVs). Current literature indicates that different V&V techniques have …

Reinforcement learning algorithms discover policies that maximize reward, but do not
necessarily guarantee safety during learning or execution phases. We introduce a new …

Model predictive control: Recent developments and future promise - ScienceDirect Skip to main
contentSkip to article Elsevier logo Journals & Books Search RegisterSign in View PDF …

Abstract Recently, Multi-Robot Systems (MRS) have attained considerable recognition
because of their efficiency and applicability in different types of real-life applications. This …

This paper describes current work on framing the model predictive control (MPC) of cyber-
physical systems as synthesis from signal temporal logic (STL) specifications. We provide a …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

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

Robot control for tasks such as moving around obstacles or grasping objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

We propose a cooperative motion and task planning scheme for multi-agent systems where
the agents have independently assigned local tasks, specified as linear temporal logic …