Author of the publication

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

, , , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 201-206. Springer, (2015)

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

ROS-based Multiple Cameras Video Streaming for a Teleoperation Interface of a Crawler Robot., , , and . 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., , , and . ICR, volume 11097 of Lecture Notes in Computer Science, page 249-258. Springer, (2018)Household Objects Pick and Place Task for AR-601M Humanoid Robot., , , , , , and . ICR, volume 11659 of Lecture Notes in Computer Science, page 139-149. Springer, (2019)Swarm Robotics: Remarks on Terminology and Classification., , and . ICR, volume 11097 of Lecture Notes in Computer Science, page 291-300. Springer, (2018)Towards Robot Fall Detection and Management for Russian Humanoid AR-601., and . KES-AMSTA, volume 74 of Smart Innovation, Systems and Technologies, page 200-209. Springer, (2017)A Vision-Based Robust Adaptive Control for Caging a Flood Area via Multiple UAVs., , , , and . UR, page 386-391. IEEE, (2021)Static Balance based Rescue Robot Navigation Algorithm in Random Step Environment., and . ICINCO (1), page 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., , , , , , , , , and 2 other author(s). Artif. Life Robotics, 27 (4): 613-623 (2022)Static balance for rescue robot navigation: Losing balance on purpose within random step environment., , , and . IROS, page 349-356. IEEE, (2010)ARTag, AprilTag and CALTag Fiducial Systems Comparison in a Presence of Partial Rotation: Manual and Automated Approaches., , , , and . ICINCO (Selected Papers), volume 495 of Lecture Notes in Electrical Engineering, page 536-558. Springer, (2017)