We propose a framework for verifiable and compositional reinforcement
le...
Recently developed pretrained models can encode rich world knowledge
exp...
We present a framework and algorithms to learn controlled dynamics model...
Privacy-aware multiagent systems must protect agents' sensitive data whi...
Data-driven control algorithms use observations of system dynamics to
co...
Many dynamical systems – from robots interacting with their surroundings...
In a cooperative multiagent system, a collection of agents executes a jo...
Neural ordinary differential equations (NODEs) – parametrizations of
dif...
Effective inclusion of physics-based knowledge into deep neural network
...
We propose a novel framework for verifiable and compositional reinforcem...