4
May
2023
Verifiability Talk 52: “Towards Formal Specification of Reinforcement Learning”
Title: Towards Formal Specification of Reinforcement Learning
Speaker: Mahsa Varshosaz (ITU Copenhagen)
Link (Teams): https://bit.ly/Toformal
Date: 04.05.2023
Time: 16:00 – 17:00 (BST)