1 citations · 1 across the 4 of their papers we have counts for
5 papers
Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
Wenliang Liu, Shuo Liu, Wei Xiao +1
Control Barrier Functions (CBFs) have been used to enforce safety and task specifications expressed in Signal Temporal Logic (STL). However, existing CBF-STL approaches typically r…
Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
Carter Berlind, Wenliang Liu, Alyssa Pierson +1
This paper considers how heterogeneous multi-agent teams can leverage their different capabilities to mutually improve individual agent performance. We present Capability-Augmentin…
Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
Wenliang Liu, Danyang Li, Erfan Aasi +3
Imitation learning methods have demonstrated considerable success in teaching autonomous systems complex tasks through expert demonstrations. However, a limitation of these methods…
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping
Ningyuan Zhang, Wenliang Liu, Calin Belta
We present a computational framework for synthesis of distributed control strategies for a heterogeneous team of robots in a partially observable environment. The goal is to cooper…
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
Wenliang Liu, Noushin Mehdipour, Calin Belta
We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that is required to satisfy specifications give…