( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Improving dependability of industrial transport robots using model-based techniques.

, , , и . ICRA, стр. 3133-3140. IEEE, (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.

Anton Mühlbacher

Tobias Mühlbacher

Tobias Mühlbacher

Axel Mühlbacher

Monika Mühlbacher

 

Другие публикации лиц с тем же именем

Using Common Sense Invariants in Belief Management for Autonomous Agents., и . IEA/AIE (1), том 8481 из Lecture Notes in Computer Science, стр. 49-59. Springer, (2014)Constraint-Based Testing of An Industrial Multi-Robot Navigation System., , , и . AITest, стр. 129-137. IEEE, (2019)Model-Based Testing of an Industrial Multi-Robot Navigation System., , , и . AAMAS, стр. 1652-1654. ACM, (2017)Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots., , и . QRS Companion, стр. 298-300. IEEE, (2016)The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets., , , , , , и . QSIC, стр. 139-148. IEEE, (2013)Improving dependability of industrial transport robots using model-based techniques., , , и . ICRA, стр. 3133-3140. IEEE, (2016)Controlling Logistics Robots with the Action-Based Language YAGI., , , , , и . ICIRA (1), том 9834 из Lecture Notes in Computer Science, стр. 525-537. Springer, (2016)An Autonomous Vehicle for Parcel Delivery in Urban Areas., , , , и . ITSC, стр. 2961-2967. IEEE, (2018)Estimation of the Traversal Time for a Fleet of Industrial Transport Robots., , , и . RAAD, том 49 из Mechanisms and Machine Science, стр. 363-371. Springer, (2017)Adapting Edge Weights for Optimal Paths in a Navigation Graph., , , и . RAAD, том 49 из Mechanisms and Machine Science, стр. 372-380. Springer, (2017)