research
∙
07/04/2023
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
Low-propulsion vessels can take advantage of powerful ocean currents to ...
share
research
∙
07/04/2023
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
Seaweed biomass offers significant potential for climate mitigation, but...
research
∙
12/12/2022
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Reinforcement Learning (RL) can solve complex tasks but does not intrins...
research
∙
10/19/2022
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
While reinforcement learning produces very promising results for many ap...
research
∙
05/13/2022