Towards a Framework for Specifying and Realizing Correct–by–Construction Contextual Robotic Missions

April 6, 2022

Gerardo Schneider


Towards a Framework for Specifying and Realizing Correct–by–Construction Contextual Robotic Missions

Time:   11:00am
Location:   Zoom3 - https://zoom.us/j/3911012202 (pass: 5551337)

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.