Advancing Learning-based Autonomy with Formal Methods

Published: 21 Apr 2025, Last Modified: 05 Jun 2025RSS Pioneers 2025 OralEveryoneRevisionsBibTeXCC BY 4.0
Keywords: safe reinforcement learning, formal methods, temporal logic, reachability analysis, autonomous systems, motion planning, unmanned surface vessels, system biology
Submission Number: 122
Loading