After successful completion of the course, students are able to understand, utilize and refine state-of-the-art concepts, algorithms, and techniques, which are related to software for mobile autonomous robots.
This course provides know-how for development principles, algorithms, and methodologies for mobile autonomous robots. Thereby problem statements and their solution from the domain of software architecture and frameworks, artificial intelligence, and cyber physical systems will be discussed
In this course, dissimination is achieved by presentation, as much as via exercises and analysis of selected frameworks by the participants.
According to current COVID-19 restrictions and directives of the vice rectorate for academic affairs and the dean's office of academic affairs from January 26 abd January 31, 2021, the lecture course 185.276 Analysis and Verification is exclusively held online. The advantages of the directness of face-to-face course meetings shall be preserved to the largest possible extent. All course meetings will thus be held as real-time video conferences.
Online via Zoom: https://tuwien.zoom.us/j/96272263792
(75h work load; 3 ECTS)
Preparation of exercises requires a PC/notebook running an actual version of Linux, Windows or OSX. A GPU is recommendet but not mandatory for (optional) visualization tasks and hence is no requirement for successful completion of this course.