In this review, we provide an overview of emerging trends and challenges in the field of
intelligent and autonomous, or self-driving, vehicles. Recent advances in the field of …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

The behavior of self-driving cars must be compatible with an enormous set of conflicting and
ambiguous objectives, from law, from ethics, from the local culture, and so on. This paper …

State-of-the-art autonomous driving systems rely heavily on detailed and highly accurate
prior maps. However, outside of small urban areas, it is very challenging to build, store, and …

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

In this work, we propose a novel approach for integrating rules into traffic agent trajectory
prediction. Consideration of rules is important for understanding how people behave-yet, it …

We present a framework for mobile service robot task planning and execution, based on the
use of probabilistic verification techniques for the generation of optimal policies with …

We extend Signal Temporal Logic (STL) to enable the specification of importance and
priorities. The extension, called Weighted STL (wSTL), has the same qualitative (Boolean) …

Human-robot collaboration plays an important role in intelligent manufacturing. However,
the main challenge is how the robot can make online reactive changes to the plan based on …

This paper studies optimal motion planning subject to motion and environment uncertainties.
By modeling the system as a probabilistic labeled Markov decision process (PL-MDP), the …