research
∙
08/10/2022
Differentiable Inference of Temporal Logic Formulas
We demonstrate the first Recurrent Neural Network architecture for learn...
share
research
∙
04/15/2020
Resilience in multi-robot multi-target tracking with unknown number of targets through reconfiguration
We address the problem of maintaining resource availability in a network...
research
∙
10/03/2019
Resilience in multi-robot target tracking through reconfiguration
We address the problem of maintaining resource availability in a network...
research
∙
01/15/2019