-
to protect our planet from asteroid hazards. The aim of the project is to deliver and validate of an onboard astrodynamics GNC software for autonomous proximity operations around minor celestial bodies
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
Searches related to software verification
Enter an email to receive alerts for software-verification positions