Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025
Verification of Visual Controllers via Compositional Geometric Transformations
Alexander Estornell, Leonard Jung, Michael Everett
Perception-based neural network controllers are increasingly used in autonomous systems that rely on visual inputs to operate in the real world. Ensuring the safety of such systems…
cs.RO2024
Contingency Constrained Planning with MPPI within MPPI
Leonard Jung, Alexander Estornell, Michael Everett
For safety, autonomous systems must be able to consider sudden changes and enact contingency plans appropriately. State-of-the-art methods currently find trajectories that balance…