Autonomy Talks - Matthias Althoff: Formally Correct Motion Planning Through Online Verification
Автор: Autonomy Talks
Загружено: 2023-01-10
Просмотров: 1485
Описание:
Autonomy Talks - 10/01/2023
Speaker: Prof. Matthias Althoff, Technical University of Munich (TUM)
Title: Formally Correct Motion Planning Through Online Verification
Abstract: Engineers and computer scientists are currently developing autonomous systems whose entire set of behaviors in future, untested situations is unknown. For instance, how can a designer foresee all situations that an autonomous vehicle will face? Keeping in mind that many autonomous systems are safety-critical or operation-critical, it is irresponsible to deploy such systems without testing all possible situations---this, however, seems impossible since even the most important possible situations are often unmanageably many. This presentation proposes a paradigm shift that will make it possible to guarantee safety in unforeseeable situations (under mild model assumptions): Instead of verifying the correctness of a system before deployment, we propose online verification, a new verification paradigm where a system continuously checks the correctness of its next action by itself in its current environment (and only in it) in a just-in-time manner. The usefulness of this method will be demonstrated primarily for autonomous driving.
If you want to know more, please visit the official webpage https://idsc.ethz.ch/research-frazzol...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
