75 citations · 218 across the 23 of their papers we have counts for
4 papers · 1 filter
Declarative vs Rule-based Control for Flocking Dynamics
Usama Mehmood, Nicola Paoletti, Dung Phan +6
The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question…
Learning Task Specifications from Demonstrations
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari +2
Real world applications often naturally decompose into several sub-tasks. In many settings (e.g., robotics) demonstrations provide a natural way to specify the sub-tasks. However,…
Output Range Analysis for Deep Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1
Deep neural networks (NN) are extensively used for machine learning tasks such as image classification, perception and control of autonomous systems. Increasingly, these deep NNs a…
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Scott A. Smolka, Ashish Tiwari, Lukas Esterle +3
We introduce the concept of a V-formation game between a controller and an attacker, where controller's goal is to maneuver the plant (a simple model of flocking dynamics) into a V…