Wednesday, April 6, 2022
11:00am Zoom3 - https://zoom.us/j/3911012202 (pass: 5551337)
Gerardo Schneider, Full Professor, University of Gothenburg, Sweden
Towards a Framework for Specifying and Realizing Correct–by–Construction Contextual Robotic Missions
Abstract:
In this talk I will present some initial ideas (a first proposal) on how to define a framework to define missions for autonomous systems which are composed of different “controllers” that need to be active in different contexts. The idea is to try to be as formal as possible, to provide some kind of (semi-)formal reasoning, while being practical.