Toggle navigation
OpenReview
.net
Login
×
Go to
RSS 2025 Workshop Pioneers
homepage
Advancing Learning-based Autonomy with Formal Methods
Hanna Krasowski
Published: 21 Apr 2025, Last Modified: 05 Jun 2025
RSS Pioneers 2025 Oral
Everyone
Revisions
BibTeX
CC 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