
-
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
Programming-by-example technologies are being deployed in industrial pro...
read it
-
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
read it
-
Data Invariants: On Trust in Data-Driven Systems
The reliability and proper function of data-driven applications hinge on...
read it
-
V-Formation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
read it
-
Quantitative Programming by Examples
Programming-by-Example (PBE) systems synthesize an intended program in s...
read it
-
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
read it
-
SOTER: Programming Safe Robotics System using Runtime Assurance
Autonomous robots increasingly depend on third-party off-the-shelf compo...
read it
-
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
read it
-
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
read it
-
Specification Inference from Demonstrations
Learning from expert demonstrations has received a lot of attention in a...
read it
-
Output Range Analysis for Deep Neural Networks
Deep neural networks (NN) are extensively used for machine learning task...
read it
-
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
read it