Programming and reasoning about autonomous software with semantic reflection

Einar Broch Johnsen

Date
6 April 2024 2:00 PM
Event
REMARO 2024: International Workshop on Reliability Engineering Methods for Autonomous Robots
Location
ETAPS 2024, Luxembourg City, Luxembourg
Talks SMOL
Einar Broch Johnsen
Einar Broch Johnsen
Professor