@InProceedings{HM-ICAS2024,
  author = "Laura R. Humphrey and C{\'e}sar A. Mu{\~{n}}oz",
  title = "Preliminary Application of Formal Verification to an Autonomy Architecture for Unmanned Aircraft",
  booktitle = "Proceedings of 34th Congress of the International Council of the Aeronautical
               Sciences, ICAS 2024",
  address= "Florence, Italy",
  month="September",
  year = "2024"
}