PolySafe: A Formally Verified Algorithm for Conflict Detection on a Polynomial Airspace
International Federation of Automatic Control 2020 ; 2020 ; Berlin, DE
Miscellaneous
No indication
English
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
British Library Conference Proceedings | 2015
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|