Verifiability Talk 52: Formal Spec. of Reinforcement Learning, Mahsa Varshosaz (ITU Copenhagen)

Описание к видео Verifiability Talk 52: Formal Spec. of Reinforcement Learning, Mahsa Varshosaz (ITU Copenhagen)

Verifiability Talk 52: “Towards Formal Specification of Reinforcement Learning”
Title: Towards Formal Specification of Reinforcement Learning
Speaker: Mahsa Varshosaz (ITU Copenhagen)
Date: 04.05.2023
Time: 16:00 – 17:00 (BST)

Комментарии

Информация по комментариям в разработке