3 accepted papers
Python bindings are a critical bridge between high-performance C++ libraries and the flexibility of Python, enabling rapid prototyping, reproducible experiments, and integration with simulation and learning frameworks. Yet, generating bindings for large codebases is a tedious process that creates a …
We present the iMETRO Dynamic Simulation, the first open-source dynamic simulation environment for research in the use of robot manipulators inside space vehicles for maintenance and logistics tasks, or intravehicular robotics (IVR). IVR has great potential to facilitate science and exploration on t…
Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic (LTL) with soft constraints expressed by discounted sum (DS) rewards has applications in planning and reinforcement learning. An existing approach combines techniques from LTL synthesis…