(Department seminar no. 129)
Time: May 26th, 2022, 11:00 Place: zoom
Speaker: Maksym Figat
Subject: Automatic generation of robotic system controllers based on a specification.