Go to RSS 2026 Workshop Pioneers homepageClosing the Abstraction Gap: Adaptive Abstractions for Provably Safe Robot Planning
Keywords: formal methods, theoretical foundations, planning and decision-making
Research Statement: pdf
Submission Number: 175
Loading
OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview