We propose a framework for verifiable and compositional reinforcement
le...
We study the problem of autonomous racing amongst teams composed of
coop...
The recent and rapid growth in Unmanned Aerial Vehicles (UAVs) deploymen...
We develop a hierarchical controller for multi-agent autonomous racing. ...