AiRobo: A EU Project on Artificial Intelligence and Robotics for Higher Education

HAL (Le Centre pour la Communication Scientifique Directe)

Abstract

International audience

Authors 6

1. Isabela Drămnesc

   Tibiscus University of Timișoara

   Affiliation as printed

   Universitatea Tibiscus din Timişoara [România] = Tibiscus University of Timisoara [Romania] = Université Tibiscus de Timişoara [Roumanie] (Strada Lascăr Catargiu 4-6, Timișoara 300559, Roumanie - Romania)

2. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen - RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen – Templergraben 55 – 52062 Aachen (Hausanschrift) – 52056 Aachen (Postanschrift) – Deutschland - Germany)

3. Nikolaos Fachantidis

   University of Macedonia

   Affiliation as printed

   UoM - University of Macedonia [Thessaloniki] (156 Egnatia Street, GR-546 36 Thessaloniki, Greece - Greece)

4. Tudor Jebelean

   West University of Timişoara

   Affiliation as printed

   UVT - Universitatea de Vest din Timișoara [România] = West University of Timișoara [Romania] = Université Ouest de Timișoara [Roumanie] (Blvd Varsile Parvan 4, Timisoara 300223, Timis - Romania)

5. Gábor Kusper

   Eszterhazy Karoly Catholic University

   Affiliation as printed

   Eszterházy Károly Katolikus Egyetem [Eger, Hungary] = Eszterházy Károly University = Université Eszterházy Károly (Eger - Hungary)

6. Sorin Stratulat

   VERIDIS: Modeling and Verification of Distributed Algorithms and Systems · Université de Lorraine

   Affiliation as printed

   MOSEL - Proof-oriented development of computer-based systems (France)

   UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)

   VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)