Compared with model-based control and optimization methods, reinforcemen...
We present a safety verification framework for design-time and run-time
...
An external magnetic field can be used to remotely control small-scaled
...
Small-size robots offer access to spaces that are inaccessible to larger...