Simulated Responses to Support Surface Disturbances in a Humanoid Biped Model With a Vestibular-Like Apparatus. - Laura R. Humphrey; Hooshang Hemami; Kamran Barin; Ashok K. Krishnamurthy 001 (IEEE Trans. Syst. Man Cybern. Part C, 2010)

Verification of a Leader Election Protocol for Autonomous Intruder Detection. - Laura R. Humphrey (Infotech@Aerospace, 2012)

Maintaining Model Consistency during In-Flight Adaptation in a Flapping-Wing Micro Air Vehicle. - John C. Gallagher; Laura R. Humphrey; Eric T. Matson (RiTA, 2013)

Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. - Laura R. Humphrey; Eric M. Wolff; Ufuk Topcu (AAAI Spring Symposia, 2014)

Controller synthesis for autonomous systems interacting with human operators. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (ICCPS, 2015)

Automated UAV tasks for search and surveillance. - Derek B. Kingston; Steven Rasmussen; Laura R. Humphrey (CCA, 2016)

Synthesis of Admissible Shields. - Laura R. Humphrey; Bettina Könighofer; Robert Könighofer; Ufuk Topcu (Haifa Verification Conference, 2016)

Human-interpretable diagnostic information for robotic planning systems. - Lu Feng 001; Laura R. Humphrey; Insup Lee 001; Ufuk Topcu (IROS, 2016)

Trust-based human-robot interaction for multi-robot symbolic motion planning. - David A. Spencer; Yue Wang 011; Laura R. Humphrey (IROS, 2016)

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (IEEE Trans Autom. Sci. Eng., 2016)

Reports on the 2016 AAAI Fall Symposium Series. - Patrícia Alves-Oliveira; Richard G. Freedman; Dan Grollman; Laura Herlant; Laura R. Humphrey; Fei Liu 004; Ross Mead; Frank Stein; Tom Williams 001; Shomir Wilson (AI Mag., 2017)

Shield synthesis. - Bettina Könighofer; Mohammed Alshiekh; Roderick Bloem; Laura R. Humphrey; Robert Könighofer; Ufuk Topcu; Chao Wang 001 (Formal Methods Syst. Des., 2017)

Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop. - Yue Wang 011; Laura R. Humphrey; Zhanrui Liao; Huanfei Zheng (ACM Trans. Interact. Intell. Syst., 2018)

When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. - Jennifer A. Davis; Laura R. Humphrey; Derek B. Kingston (CAV (1), 2019)

Practical Application of SPARK to OpenUxAS. - M. Anthony Aiello; Claire Dross; Patrick Rogers; Laura R. Humphrey; James Hamil (FM, 2019)

Salty-A Domain Specific Language for GR(1) Specifications and Designs. - Trevor Elliott; Mohammed Alshiekh; Laura R. Humphrey; Lee Pike; Ufuk Topcu (ICRA, 2019)

Structured Synthesis for Probabilistic Systems. - Nils Jansen 001; Laura R. Humphrey; Jana Tumova; Ufuk Topcu (NFM, 2019)

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. - Laura R. Humphrey; James Hamil; Joffrey Huguet (SEFM, 2020)

A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A. - David A. Greve; Jennifer A. Davis; Laura R. Humphrey (ACL2, 2022)

The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART). - Matthew L. Bolton; Elliot Biltekoff; Laura R. Humphrey (IEEE Trans. Hum. Mach. Syst., 2022)

Formal Verification of Prim's Algorithm in SPARK. - Brian Wheelhouse; Kenneth M. Hopkinson; Laura R. Humphrey (HICSS, 2023)

A Formal Method for Assessing Mental Workload. - Matthew L. Bolton; Skye Solace Taylor; Laura R. Humphrey (SMC, 2023)

The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis. - Matthew L. Bolton; Elliot Biltekoff; Laura R. Humphrey (IEEE Trans. Hum. Mach. Syst., 2023)