Rachel Cleaveland

Orcid: 0000-0002-6306-9502

According to our database1, Rachel Cleaveland authored at least 1 paper in 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X.
ACM Trans. Embed. Comput. Syst., 2023


  Loading...