Search Results for author:
Found 5 papers, 0 papers with code
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
We introduce an efficient verification approach that determines the compliance of actions with respect to the COLREGS formalized using temporal logic.
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
We demonstrate the safety of our approach in such realistic situations empirically with large-scale simulations of a vessel navigating in high-risk regions in the Northeast Pacific.
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
We propose a dynamic programming-based method to efficiently solve for the optimal growth value function when true currents are known.
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
While reinforcement learning produces very promising results for many applications, its main disadvantage is the lack of safety guarantees, which prevents its use in safety-critical systems.
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking
We categorize the methods based on how they adapt the action: action replacement, action projection, and action masking.
