20 citations · 26 across the 8 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
Demonstration of Space Robot Teleoperation over a Lossy and Delayed Network using ATMOS
Inkyu Jang, Gregorio Marchesini, Nicola De Carli +15
We present a demonstration showcasing the Autonomy Testbed for Multi-purpose Orbiting Systems (ATMOS), a planar spacecraft-analog robot designed for hardware-in-the-loop evaluation…
cs.RO2021
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Amr Alanwar, Frank J. Jiang, Maryam Sharifi +2
This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a rob…