AiRobo

From zero to expert! Introducing the potential of AI and Robotics for all!

Robotic Applications

Dive into the future of Robotics and TVT on our page. Explore transformative applications, stay updated on trends, and discover the limitless potential at the intersection of robotics and technology. Join us in redefining what’s possible!
About

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:

  • Artificial Intelligence
  • Special topics of AI
  • Automated Theorem Proving
  • Algorithm Synthesis and Mathematical Theory Exploration
  • Modelling and Certifying Algorithms in Coq
  • Verification of Hybrid Systems
  • Graph Theory

Three of the robotic applications will address the main EU priority:

and will be designed:

  • As a support for people with disabilities

    and special education needs,

  • for vulnerable groups

    (e.g. language - foreign persons, refugees, elderly, etc.).

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).

Page views: 86

Intuit Mailchimp

Intuit Mailchimp

Intuit Mailchimp

Facebook Linkedin Youtube

Designed & Developed by

WUT - Romania

UL - France

EKCU - Hungary

RWTH - Germany

UoM - Greece