Integrating runtime verification into an automated UAS traffic management system. - Abigail Hammer; Matthew Cauwels; Benjamin Hertz; Phillip H. Jones; Kristin Y. Rozier (Innov. Syst. Softw. Eng., 2022)

Pretrained Embeddings as a Behavior Specification Mechanism. - Parv Kapoor; Abigail Hammer; Ashish Kapoor; Karen Leung; Eunsuk Kang (CoRR, 2025)