Reliable Control Software
Reliable control and numerical software through formal verification.
Popular repositories Loading
-
formal-eskf
formal-eskf PublicESKF on Lie groups with formal verification for provably safe robotics state estimation.
C++
Repositories
Showing 1 of 1 repositories
- formal-eskf Public
ESKF on Lie groups with formal verification for provably safe robotics state estimation.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…