5 skills found
verivital / NnvNeural Network Verification Software Tool
JingyuanZhou / Safe RL Mixed TrafficCode Implementation for Paper "Enhancing System-Level Safety in Mixed-Autonomy Platoon via Safe Reinforcement Learning"
act3-ace / Safe Autonomy SimsNo description available
act3-ace / Safe Autonomy DynamicsNo description available
sedaro / SafeSedaro Autonomy Framework for Edge (SAFE) is an open-source flight software autonomy framework that integrates Sedaro's Edge Deployable Simulators (EDS's) alongside third-party software to achieve trusted satellite autonomy across the mission lifecycle.