5 papers
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
Wei Yang, Jiacheng Pang, Shixuan Li +3
Multi-agent systems (MAS) built on Large Language Models (LLMs) are being used to approach complex problems and can surpass single model inference. However, their success hinges on…
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…
Integration Matters for Learning PDEs with Backward SDEs
Sungje Park, Stephen Tu
Backward stochastic differential equation (BSDE)-based deep learning methods provide an alternative to Physics-Informed Neural Networks (PINNs) for solving high-dimensional partial…
Data-Driven Reachability with Scenario Optimization and the Holdout Method
Elizabeth Dietrich, Rosalyn Devonport, Stephen Tu +1
Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachab…
Incremental Composition of Learned Control Barrier Functions in Unknown Environments
Paul Lutkus, Deepika Anantharaman, Stephen Tu +1
We consider the problem of safely exploring a static and unknown environment while learning valid control barrier functions (CBFs) from sensor data. Existing works either assume kn…