Skip to content
conftrace_

L4DC 2025

120 papers

Koopman Based Trajectory Optimization with Mixed Boundaries

Mohamed Abou-Taleb, Maximilian Raff, Kathrin Flaßkamp, C. David Remy

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Ibon Gracia, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate, Morteza Lahijanian

Learning and steering game dynamics towards desirable outcomes

Ilayda Canyakmaz, Iosif Sakos, Wayne Lin, Antonios Varvitsiotis, Georgios Piliouras

TAB-Fields: A Maximum Entropy Framework for Mission-Aware Adversarial Planning

Gokul Puthumanaillam, Jae Hyuk Song, Nurzhan Yesmagambet, Shinkyu Park, Melkior Ornik

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani

Physics-informed Gaussian Processes as Linear Model Predictive Controller

Jörn Tebbe, Andreas Besginow, Markus Lange-Hegermann

Learning Biomolecular Models using Signal Temporal Logic

Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak

STRiDE: STate-space Riemannian Diffusion for Equivariant Planning

Evangelos Chatzipantazis, Nishanth Rao, Kostas Daniilidis

Zero-shot Sim-to-Real Transfer for Reinforcement Learning-based Visual Servoing of Soft Continuum Arms

Hsin-Jung Yang, Mahsa Khosravi, Benjamin Walt, Girish Krishnan, Soumik Sarkar

Nonconvex Linear System Identification with Minimal State Representation

Uday Kiran Reddy Tadipatri, Benjamin D. Haeffele, Joshua Agterberg, Ingvar Ziemann, René Vidal

Finite Sample Identification of Partially Observed Bilinear Dynamical Systems

Yahya Sattar, Yassir Jedra, Maryam Fazel, Sarah Dean

BIGE : Biomechanics-informed GenAI for Exercise Science

Shubh Maheshwari, Anwesh Mohanty, Yadi Cao, Swithin Razu, Andrew McCulloch

Opt-ODENet: Neural ODE Controller Design with Differentiable Optimization Layers for Safety and Stability

Keyan Miao, Liqun Zhao, Han Wang, Konstantinos Gatsis, Antonis Papachristodoulou

Topological State Space Inference for Dynamical Systems

Mishal Assif P K, Yuliy Baryshnikov

Reinforcement Learning from Multi-level and Episodic Human Feedback

Muhammad Qasim Elahi, Somtochukwu Oguchienti, Maheed H. Ahmed, Mahsa Ghasemi

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters

Azra Begzadić, Nikhil Shinde, Sander Tonkens, Dylan Hirsch, Kaleb Ugalde

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems

Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George Pappas, Rahul Mangharam

QP Based Constrained Optimization for Reliable PINN Training

Alan Williams, Christopher Leon, Alexander Scheinker

A Theoretical Analysis of Soft-Label vs Hard-Label Training in Neural Networks

Saptarshi Mandal, Xiaojun Lin, Rayadurgam Srikant

Neuro-Symbolic Deadlock Resolution in Multi-Robot Systems

Ruiyang Wang, Bowen He, Miroslav Pajic

Lyapunov Perception Contracts for Operating Design Domains

Yangge Li, Chenxi Ji, Jai Anchalia, Yixuan Jia, Benjamin C Yang

Kernel-Based Optimal Control: An Infinitesimal Generator Approach

Petar Bevanda, Nicolas Hoischen, Tobias Wittmann, Jan Brüdigam, Sandra Hirche

Meta-Learning for Adaptive Control with Automated Mirror Descent

Sunbochen Tang, Haoyuan Sun, Navid Azizan

Symmetries-enhanced Multi-Agent Reinforcement Learning

Nikolaos Bousias, Stefanos Pertigkiozoglou, Kostas Daniilidis, George Pappas

A-NC: Adaptive Neural Control with implicit online inference of privileged parameters

Marcin Paluch, Florian Bolli, Pehuen Moure, Xiang Deng, Tobi Delbruck

Realizable Continuous-Space Shields for Safe Reinforcement Learning

KyungMin Kim, Davide Corsi, Andoni Rodrı́guez, JB Lanier, Benjami Parellada

Domain Randomization is Sample Efficient for Linear Quadratic Control

Tesshu Fujinami, Bruce D. Lee, Nikolai Matni, George J. Pappas

Dense Dynamics-Aware Reward Synthesis: Integrating Prior Experience with Demonstrations

Cevahir Koprulu, Po-han Li, Tianyu Qiu, Ruihan Zhao, Tyler Westenbroek

Contingency Constrained Planning with MPPI within MPPI

Leonard Jung, Alexander Estornell, Michael Everett

Hybrid Modeling of Heterogeneous Human Teams for Collaborative Decision Processes

Amirhossein Ravari, Seyede Fatemeh Ghoreishi, Tian Lan, Nathaniel D. Bastian, Mahdi Imani

Predictive Monitoring of Black-Box Dynamical Systems

Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, \DJor\dje Žikelić

Diffusion Predictive Control with Constraints

Ralf Römer, Alexander von Rohr, Angela Schoellig

Toward Near-Globally Optimal Nonlinear Model Predictive Control via Diffusion Models

Tzu-Yuan Huang, Armin Lederer, Nicolas Hoischen, Jan Brüdigam, Xuehua Xiao

Analytical Integral Global Optimization

Sebastien Labbe, Andrea Del Prete

DeePC-Hunt: Data-enabled Predictive Control Hyperparameter Tuning via Differentiable Optimization

Michael Cummins, Alberto Padoan, Keith Moffat, Florian Dorfler, John Lygeros

Sensor Scheduling in Intrusion Detection Games with Uncertain Payoffs

Jayanth Bhargav, Shreyas Sundaram, Mahsa Ghasemi

Logarithmic Regret for Nonlinear Control

James Wang, Bruce Lee, Ingvar Ziemann, Nikolai Matni

Fast and Reliable $N - k$ Contingency Screening with Input-Convex Neural Networks

Nicolas Christianson, Wenqi Cui, Steven Low, Weiwei Yang, Baosen Zhang

HydroGym: A Reinforcement Learning Platform for Fluid Dynamics

Christian Lagemann, Ludger Paehler, Jared Callaham, Sajeda Mokbel, Samuel Ahnert

Flow matching for stochastic linear control systems

Yuhang Mei, Mohammad Al-Jarrah, Amirhossein Taghvaei, Yongxin Chen

Conditional Kernel Imitation Learning for Continuous State Environments

Rishabh Agrawal, Nathan Dahlin, Rahul Jain, Ashutosh Nayyar

Data-Driven and Stealthy Deactivation of Safety Filters

Daniel Arnström, Andre M.H. Teixeira

Learning Feasible Transitions for Efficient Contact Planning

Rikhat Akizhanov, Victor Dhedin, Majid Khadiv, Ivan Laptev

Data-Driven Near-Optimal Control of Nonlinear Systems Over Finite Horizon

Vasanth Reddy Baddam, Hoda Eldardiry, Almuatazbellah Boker

TamedPUMA: safe and stable imitation learning with geometric fabrics

Saray Bakker, Rodrigo Perez-Dattari, Cosimo Della Santina, Wendelin Böhmer, Javier Alonso-Mora

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games

William Sharpless, Zeyuan Feng, Somil Bansal, Sylvia Herbert

Physics-Enforced Reservoir Computing for Forecasting Spatiotemporal Systems

Dima Tretiak, Anastasia Bizyaeva, J. Nathan Kutz, Steven L. Brunton

Informative Input Design for Dynamic Mode Decomposition

Joshua Ott, Mykel Kochenderfer, Stephen Boyd

Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization

Yifan Sun, Feihan Li, Weiye Zhao, Rui Chen, Tianhao Wei

Automating the loop in traffic incident management on highway

Matteo Cercola, Nicola Gatti, Pedro Huertas Leyva, Benedetto Carambia, Simone Formentin

Rates for Offline Reinforcement Learning with Adaptively Collected Data

Sunil Madhow, Dan Qiao, Ming Yin, Yu-Xiang Wang

A Pontryagin Perspective on Reinforcement Learning

Onno Eberhard, Claire Vernade, Michael Muehlebach