Author of the publication

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.

, , , , , , , , , , and . TAROS, volume 9716 of Lecture Notes in Computer Science, page 75-86. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Verification of Autonomous Vehicle Platooning., , , , and . CoRR, (2016)Artificial Situation Awareness for Increased Autonomy of Unmanned Aerial Systems in the Terminal Area., and . J. Intell. Robotic Syst., 70 (1-4): 545-555 (2013)Towards formal verification of small and micro UAS., , and . ECC, page 433-440. IEEE, (2016)ROBO-GUIDE: Towards Safe, Reliable, Trustworthy, and Natural Behaviours in Robotic Assistants., , , , , , , , and . TAROS, volume 9287 of Lecture Notes in Computer Science, page 149-154. Springer, (2015)Help! I Can't Reach the Buttons: Facilitating Helping Behaviors Towards Robots., , , , , , , , and . Living Machines, volume 9222 of Lecture Notes in Computer Science, page 354-358. Springer, (2015)Formal verification of autonomous vehicle platooning., , , , and . Sci. Comput. Program., (2017)Floor determination in the operation of a lift by a mobile guide robot., , , , , , , , and . ECMR, page 1-6. IEEE, (2015)Lateral control of vehicle platoons with on-board sensing and inter-vehicle communication., and . ECC, page 2465-2470. IEEE, (2016)