output
20172025
most citedVerifying Graph Programs with First-Order Logic

7 citations

researchers with a paper here
collaborating institutions
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2025★ 3 cited

Mobile Robot Localization via Indoor Positioning System and Odometry Fusion

Muhammad Hafil Nugraha, Fauzi Abdul, Lastiko Bramantyo +3

Accurate localization is crucial for effectively operating mobile robots in indoor environments. This paper presents a comprehensive approach to mobile robot localization by integr…