Paper-Conference

A Traffic Conflict Identification and Severity Assessment Method Based on Multi-Vehicle Trajectory Prediction
Synergistic Temporal Logic Planning for an Aerial Gripper
An interactive system for multiple-task linear temporal logic path planning
Sim-in-real: Digital twin based uav inspection process