6 citations · 6 across the 7 of their papers we have counts for
8 papers
TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
Yue Meng, Fei Chen, Chuchu Fan
Learning control policies for complex, long-horizon tasks is a central challenge in robotics and autonomous systems. Signal Temporal Logic (STL) offers a powerful and expressive la…
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
Yue Meng, Chuchu Fan
Learning to solve complex tasks with signal temporal logic (STL) specifications is crucial to many real-world applications. However, most previous works only consider fixed or para…
Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders
Yue Meng, Nathalie Majcherczyk, Wenliang Liu +3
Multi-agent coordination is crucial for reliable multi-robot navigation in shared spaces such as automated warehouses. In regions of dense robot traffic, local coordination methods…
Diverse Controllable Diffusion Policy with Signal Temporal Logic
Yue Meng, Chuchu fan
Generating realistic simulations is critical for autonomous system applications such as self-driving and human-robot interactions. However, driving simulators nowadays still have d…
Rigid Body Path Planning using Mixed-Integer Linear Programming
Mingxin Yu, Chuchu Fan
Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners and optimization-base…
Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks
Ruixiao Yang, Chuchu Fan
The mixed truck-drone delivery systems have attracted increasing attention for last-mile logistics, but real-world complexities demand a shift from single-agent, fully connected gr…
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller
Mingxin Yu, Chenning Yu, M-Mahdi Naddaf-Sh +3
Sampling-based motion planning methods for manipulators in crowded environments often suffer from expensive collision checking and high sampling complexity, which make them difficu…
Signal Temporal Logic Neural Predictive Control
Yue Meng, Chuchu Fan
Ensuring safety and meeting temporal specifications are critical challenges for long-term robotic tasks. Signal temporal logic (STL) has been widely used to systematically and rigo…