4 citations · 8 across the 10 of their papers we have counts for
16 papers
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
Jun Wang, Haojun Chen, Zihe Sun +1
Several methods have been proposed recently to learn neural network (NN) controllers for autonomous agents, with unknown and stochastic dynamics, tasked with complex missions captu…
Targeted Adversarial Attacks against Neural Network Trajectory Predictors
Kaiyuan Tan, Jun Wang, Yiannis Kantaros
Trajectory prediction is an integral component of modern autonomous systems as it allows for envisioning future intentions of nearby moving agents. Due to the lack of other agents'…
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
Jun Wang, Samarth Kalluraya, Yiannis Kantaros
This paper presents a new approach to design verified compositions of Neural Network (NN) controllers for autonomous systems with tasks captured by Linear Temporal Logic (LTL) form…
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information
Matthew Cleaveland, Esen Yel, Yiannis Kantaros +2
This paper addresses a safe planning and control problem for mobile robots operating in communication- and sensor-limited dynamic environments. In this case the robots cannot sense…
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty
Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros +1
In this paper we address mobile manipulation planning problems in the presence of sensing and environmental uncertainty. In particular, we consider mobile sensing manipulators oper…
Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics
Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas
We develop an algorithm for the motion and task planning of a system comprised of multiple robots and unactuated objects under tasks expressed as Linear Temporal Logic (LTL) constr…