AiRobo
From zero to expert! Introducing the potential of AI and Robotics for all!
Robotic Applications
We will jointly develop 7 complex, concrete robotic applications that will use specific Artificial Intelligence features, as well as tools and video tutorials. These will be very useful: in teaching Artificial Intelligence based robotic courses at our partner universities; as well as serving for practical applications (from the real world, in different domains of activity: academic, environmental agriculture, in industry, and in medicine) of theoretical courses taught at our partner universities such as:
Three of the robotic applications will address the main EU priority:
and will be designed:
TVT
TVT will consist in:
Video tutorials
(simulation of robots) for Chapters 1, 2, 3, and 5 in the book, namely: Chapter 1 - how to build a robot, Chapter 2&3 - simulation of robots using virtual environments and AI (in particular neural networks), Chapter 5 - simulation of all 7 robotic applications;
Tools
for Chapters 4 and 5 in the book, namely: running files in Theorema, Mathematica, Coq, SMT solvers which will include the formal verification, synthesis and certification of robotic algorithms used in the development of the 7 robotic applications.
All these will be freely available (on the website of the project and on the Erasmus+ Results platform).