The AiRobo book will be jointly developed as a support material for teaching Artificial Intelligence based robotic courses at our partner Universities. Moreover, the book will be a support also for other 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
Artificial Intelligence Based Robotics
The title of the AiRobo book.
Following are the main chapters of the book:
- Introduction to Robotics
- Programming and Simulation of Robots
- Artificial intelligence for Robotics
- Verification of Robotic Algorithms
- Complex Robotic Applications
The AiRobo book will also include the practical conclusions from certain practical robotic applications that will be developed within the project and will include links to the code implementation, as well as tools and videos of the robotic applications that will be developed.