Popular repositories Loading
-
reachability-based_trajectory_safeguard
reachability-based_trajectory_safeguard PublicWe use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Set offline and use it online to adjust any potentially unsafe…
Repositories
Showing 10 of 44 repositories
- habitat-sim Public Forked from facebookresearch/habitat-sim
A flexible, high-performance 3D simulator for Embodied AI research.
roahmlab/habitat-sim’s past year of commit activity - OnlineSafeSysID Public Forked from roahmlab/kinova_robust_control_docker
Codebase for RSS 2025 paper: Provably-Safe, Online System Identification
roahmlab/OnlineSafeSysID’s past year of commit activity - kinova_robust_control_docker Public
roahmlab/kinova_robust_control_docker’s past year of commit activity - rtd-code-python Public
roahmlab/rtd-code-python’s past year of commit activity