Robotics: A New Mission for FRET Requirements

Gricel Vazquez, Anastasia Mavridou, Marie Farrell, Tom Pressburger, Radu Calinescu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

44 Downloads (Pure)
Original languageEnglish
Title of host publicationNASA Formal Methods
PublisherSpringer Cham
Publication statusAccepted/In press - 18 Feb 2024

Cite this