← Search

Sven Schneider

5 accepted papers

2026

From Composable Models to Correct-By-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks

ICRA 2026poster

Software frameworks like the Stack of Tasks (SoT), the Stanford Whole-Body Control (WBC) library, or the instantaneous Task Specification using Constraints (iTaSC) have enabled robots to perform advanced, contact-oriented manipulation tasks. jgeom constr and eTaSL are among the few formal, computer-…

Cited by 0SourceScholar
2025

From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks

RA-L 2025

Software frameworks like the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Stack of Tasks</i> (SoT), the Stanford <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Whole-Body Control</i> (WBC) library

Cited by 0SourceScholar
2023

A Thousand Worlds: Scenery Specification and Generation for Simulation-Based Testing of Mobile Robot Navigation Stacks

IROS 2023poster

Is mobile robot navigation a solved problem? We asked this question to 14 professional robot software engineers who work with navigation stacks of mobile, wheeled robots on a daily basis. They unanimously report that it remains challenging to ensure the performance of their mobile robots. We find th…

Cited by 3SourceScholar
2023

Domain-specific languages for kinematic chains and their solver algorithms: lessons learned for composable models

ICRA 2023poster

The Unified Robot Description Format (URDF) and, to a lesser extent, the COLLAborative Design Activity (COLLADA) format are two of the most popular domain-specific languages (DSLs) to represent kinematic chains in robotics with support in many tools including Gazebo, MoveIt!, KDL or IKFast. In this…

Cited by 4SourceScholar
2019

Exploiting linearity in dynamics solvers for the design of composable robotic manipulation architectures

IROS 2019poster

We investigate two major limiting factors in the design and implementation of modern dynamics solvers that interfere with their full utilization in versatile, manipulation-driven robotic software architectures. The first limitation originates from the design of those solvers which aims at computatio…

Cited by 5SourceScholar