Login / Signup
Rachel Cleaveland
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Video Games
Visual Navigation
Path Planning
Collision Avoidance
Top Venues
CoRR
</>
Publications
</>
Rachel Cleaveland
,
Stefan Mitsch
,
André Platzer
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X.
ACM Trans. Embed. Comput. Syst.
22 (1) (2023)
Rachel Cleaveland
,
Stefan Mitsch
,
André Platzer
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X.
CoRR
(2021)