International Workshop on Formal Methods for Autonomous Systems (6. : 2024 : Manchester) Bezüge im Wissensnetz Veranstaltungsort (1) GND Manchester