This is my archive

Learning-based bayesian inference for testing of autonomous systems

Diverse controllable diffusion policy with signal temporal logic

AeroAstro soars in zero gravity

Learning to stabilize high-dimensional unknown systems using lyapunov-guided exploration

MIT engineers are on a failure-finding mission

NL2TL: Transforming natural languages to temporal logics using large language models

Signal temporal logic neural predictive control

Shield model predictive path integral: A computationally efficient robust MPC method using control barrier functions

Model-free neural fault detection and isolation for safe control

Astro Portraits: Pointing the lens toward our future

1 2 3