fd-research

Gitlab group of Prof. Felix Dietrich, https://www.cs.cit.tum.de/en/scml/home/