activity
20162026
most citedThe 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

13 citations · 13 across the 6 of their papers we have counts for

collaborators

6 papers

cs.RO2026

Learning Action-Conditional and Object-Centric Gaussian Splatting World Models for Rigid Objects

Jens U. Kreber, Lukas Mack, Joerg Stueckler

World models enable intelligent agents to predict the consequences of their actions on the environment. In this paper, we propose Multi Rigid Object Gaussian World Model (MRO-GWM),…

cs.LG2026

Guided Diffusion by Optimized Loss Functions on Relaxed Parameters for Inverse Material Design

Jens U. Kreber, Christian Weißenfels, Joerg Stueckler

Inverse design problems are common in engineering and materials science. The forward direction, i.e., computing output quantities from design parameters, typically requires running…

cs.CV2025

Guiding Diffusion-Based Articulated Object Generation by Partial Point Cloud Alignment and Physical Plausibility Constraints

Jens U. Kreber, Joerg Stueckler

Articulated objects are an important type of interactable objects in everyday environments. In this paper, we propose PhysNAP, a novel diffusion model-based approach for generating…

cs.RO2024

Learning a Terrain- and Robot-Aware Dynamics Model for Autonomous Mobile Robot Navigation

Jan Achterhold, Suresh Guttikonda, Jens U. Kreber +2

Mobile robots should be capable of planning cost-efficient paths for autonomous navigation. Typically, the terrain and robot properties are subject to variations. For instance, pro…

cs.LG2021

Generating Symbolic Reasoning Problems with Transformer GANs

Jens U. Kreber, Christopher Hahn

We study the capabilities of GANs and Wasserstein GANs equipped with Transformer encoders to generate sensible and challenging training data for symbolic reasoning domains. We cond…

cs.LO2016★ 13 cited

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Swen Jacobs, Roderick Bloem, Romain Brenguier +13

We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…