activity
20222025
most citedTowards Designing and Exploiting Generative Networks for Neutrino Physics Experiments using Liquid Argon Time Projection Chambers

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

eess.SY2025

Latent Representations for Control Design with Provable Stability and Safety Guarantees

Paul Lutkus, Kaiyuan Wang, Lars Lindemann +1

We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of…

cs.RO2025

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions

Paul Lutkus, Michelle S. Chong, Lars Lindemann

We consider nonconvex obstacle avoidance where a robot described by nonlinear dynamics and a nonconvex shape has to avoid nonconvex obstacles. Obstacle avoidance is a fundamental p…