Timetable
- Event Category
- Phase B
- Title
- Teaching Temporal Logics to Neural Networks
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 07.07.2022 10:15
- Endtime
- 07.07.2022 11:00
- the whole day
- No
Neural-Symbolic Computing
Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber