Papers
7
Total Citations
103
H-Index
6
About
Laura Humphrey is a leading researcher in the intersection of formal methods, autonomy, and human-robot interaction, with a primary focus on unmanned aerial vehicle (UAV) mission planning and control. Her work addresses critical challenges in developing reliable, verifiable, and human-interpretable autonomy for multi-robot systems. Humphrey's major contributions include the creation of the Unmanned Systems Autonomy Services (UxAS) framework, which enables ad hoc coordination among UAV teams, and the development of formal specification and synthesis techniques for mission plans, ensuring correct-by-construction behavior. She has pioneered the use of domain-specific languages like Salty for GR(1) specifications, making formal synthesis more accessible to engineers. Her research also emphasizes trust and transparency in human-robot interaction, as seen in her work on trust-based symbolic motion planning and human-interpretable diagnostic information for robotic planning systems. With over 100 citations across her most-cited papers, Humphrey's work has significantly advanced the practical application of formal methods in autonomous systems. Notably, her 2018 UxAS introduction has garnered 45 citations, reflecting its impact on the field. Her contributions are essential for students and researchers interested in verifiable, trustworthy autonomy for complex robotic missions.
Research Focus
Key Achievements
Top Papers
- 1A Brief Introduction to Unmanned Systems Autonomy Services (UxAS)45 citations · 2018
- 2
- 3
- 4Human-interpretable diagnostic information for robotic planning systems11 citations · 2016
- 5
- 6Salty-A Domain Specific Language for GR(1) Specifications and Designs8 citations · 2019
- 7