Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for
guaranteeing performance and safety properties of dynamical systems; it has been applied …

A key challenge in intelligent robotics is creating robots that are capable of directly
interacting with the world around them to achieve their goals. The last decade has seen …

智能移动机器人路径规划问题一直是机器人研究的核心内容之一. 将移动机器人路径规划方法
概括为: 基于模版匹配路径规划技术, 基于人工势场路径规划技术, 基于地图构建路径规划技术和 …

The need for computationally-efficient control methods of dynamical systems under temporal
logic tasks has recently become more apparent. Existing methods are computationally …

A comprehensive introduction to hybrid control systems and design Hybrid control systems
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …

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 tackle the challenging problem of multi-agent cooperative motion planning for complex
tasks described using signal temporal logic (STL), where robots can have nonlinear and …

Abstract Research on Inverse Reinforcement Learning (IRL) from third-person videos has
shown encouraging results on removing the need for manual reward design for robotic …

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