Timetable
- Event Category
- Individual Talks
- Title
- Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL*
- Location
- Details
- Starttime
- 04.07.2023 14:15
- Endtime
- 04.07.2023 15:00
- the whole day
- No
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber