Sharper Specs for Smarter Drones: Formalising Requirements with FRET.

Oisn Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Browse the full REFSQ paper archive.