Author of the publication

Controlling Logistics Robots with the Action-Based Language YAGI.

, , , , , and . ICIRA (1), volume 9834 of Lecture Notes in Computer Science, page 525-537. 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

Model-Based Testing of an Industrial Multi-Robot Navigation System., , , and . AAMAS, page 1652-1654. ACM, (2017)Constraint-Based Testing of An Industrial Multi-Robot Navigation System., , , and . AITest, page 129-137. IEEE, (2019)Using Common Sense Invariants in Belief Management for Autonomous Agents., and . IEA/AIE (1), volume 8481 of Lecture Notes in Computer Science, page 49-59. Springer, (2014)Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots., , and . QRS Companion, page 298-300. IEEE, (2016)The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets., , , , , , and . QSIC, page 139-148. IEEE, (2013)Improving dependability of industrial transport robots using model-based techniques., , , and . ICRA, page 3133-3140. IEEE, (2016)Controlling Logistics Robots with the Action-Based Language YAGI., , , , , and . ICIRA (1), volume 9834 of Lecture Notes in Computer Science, page 525-537. Springer, (2016)Estimation of the Traversal Time for a Fleet of Industrial Transport Robots., , , and . RAAD, volume 49 of Mechanisms and Machine Science, page 363-371. Springer, (2017)Adapting Edge Weights for Optimal Paths in a Navigation Graph., , , and . RAAD, volume 49 of Mechanisms and Machine Science, page 372-380. Springer, (2017)Diagnosis Makes the Difference for a Successful Execution of High-Level Robot Control Programs., and . IAS, volume 302 of Advances in Intelligent Systems and Computing, page 1119-1132. Springer, (2014)