Formal verification of decision logic for automatic maneuvering of spacecraft∗

Kerianne L. Hobbs, Ivan Perez, Aaron W. Fifarek, Eric M. Feron

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Fingerprint

Dive into the research topics of 'Formal verification of decision logic for automatic maneuvering of spacecraft∗'. Together they form a unique fingerprint.

Engineering

Earth and Planetary Sciences

Keyphrases