Formal Methods for Learning-Enabled Safe Autonomy

Published: 01 Jun 2026, Last Modified: 01 Jun 2026RSS Pioneers 2026EveryoneRevisionsBibTeXCC BY 4.0

Keywords: safe autonomy, formal methods for robotics, provably safe robotics

Research Statement: pdf

Representative Publication: pdf

Current Institution: Carnegie Mellon University

Personal Website: https://parvkpr.github.io/

Submission Number: 157

Loading