Projects

PiShield A PyTorch Package for Learning with Requirements

PiShield is the first package ever allowing for the integration of the requirements into the neural networks’ topology, guaranteeing compliance with these requirements, regardless of input.

ROAD-R The Autonomous Driving Dataset with Logical Requirements

ROAD-R is the first autonomous driving dataset annotated with logical requirements. Extending the ROAD dataset, it contains a set of 243 requirements over 41 labels grouped into agents, actions and locations.