Autor der Publikation

Marimba: A Tool for Verifying Properties of Hidden Markov Models.

, , , , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 201-206. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

ROS-based Multiple Cameras Video Streaming for a Teleoperation Interface of a Crawler Robot., , , und . J. Robotics Netw. Artif. Life, 5 (3): 184-189 (2018)Comparing Fiducial Markers Performance for a Task of a Humanoid Robot Self-calibration of Manipulators: A Pilot Experimental Study., , , und . ICR, Volume 11097 von Lecture Notes in Computer Science, Seite 249-258. Springer, (2018)Household Objects Pick and Place Task for AR-601M Humanoid Robot., , , , , , und . ICR, Volume 11659 von Lecture Notes in Computer Science, Seite 139-149. Springer, (2019)Swarm Robotics: Remarks on Terminology and Classification., , und . ICR, Volume 11097 von Lecture Notes in Computer Science, Seite 291-300. Springer, (2018)Towards Robot Fall Detection and Management for Russian Humanoid AR-601., und . KES-AMSTA, Volume 74 von Smart Innovation, Systems and Technologies, Seite 200-209. Springer, (2017)Static balance for rescue robot navigation: Losing balance on purpose within random step environment., , , und . IROS, Seite 349-356. IEEE, (2010)Static Balance based Rescue Robot Navigation Algorithm in Random Step Environment., und . ICINCO (1), Seite 251-258. SciTePress, (2013)e-ASIA Joint Research Program: development of an international collaborative informational system for emergency situations management of flood and land slide disaster areas., , , , , , , , , und 2 andere Autor(en). Artif. Life Robotics, 27 (4): 613-623 (2022)A Vision-Based Robust Adaptive Control for Caging a Flood Area via Multiple UAVs., , , , und . UR, Seite 386-391. IEEE, (2021)ARTag, AprilTag and CALTag Fiducial Systems Comparison in a Presence of Partial Rotation: Manual and Automated Approaches., , , , und . ICINCO (Selected Papers), Volume 495 von Lecture Notes in Electrical Engineering, Seite 536-558. Springer, (2017)