2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DC2021★ 2 cited
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical,…
cs.RO2004
Topological Navigation of Simulated Robots using Occupancy Grid
Richard Szabo
Formerly I presented a metric navigation method in the Webots mobile robot simulator. The navigating Khepera-like robot builds an occupancy grid of the environment and explores the…