5 papers
Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
Celina Shiyu Wang, Yiqi Zhao, Junjie Ye +2
Vision-language-action (VLA) models can follow natural-language (NL) task instructions, but such instructions may not precisely specify safety-critical or spatiotemporal requiremen…
Duet: Dual-Robot Understanding via Efficient Teaching
Yiqi Zhao, Ruohai Ge, Celina Shiyu Wang +10
Dual-robot collaboration enables tasks that exceed the reach and payload of a single robot, such as collaboratively transporting objects across environments and executing coordinat…
On Online Control of Opinion Dynamics
Sheryl Paul, Leslie Cruz Juarez, Jyotirmoy V. Deshmukh +1
Networked multi-agent dynamical systems have been used to model how individual opinions evolve over time due to the opinions of other agents in the network. Particularly, such a mo…
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…
PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
Navid Hashemi, Lars Lindemann, Jyotirmoy Deshmukh
This study presents a scalable data-driven algorithm designed to efficiently address the challenging problem of reachability analysis. Analysis of cyber-physical systems (CPS) reli…