In this poster, we show produce a shield for omega-regular objectives and how we make autonomous systems satisfy those objectives while also being close to their own goals.

The poster is interactive, click on the boxes to learn more about them.