Laura R. Humphrey

27 papers A* 1A 2B 3C 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — ed.
NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NFM
Aaron Dutle, Laura R. Humphrey, Laura Titolo
2023 B conf
A Formal Method for Assessing Mental Workload.
SMC
Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey
2023 — conf
Formal Verification of Prim's Algorithm in SPARK.
HICSS
Brian Wheelhouse, Kenneth M. Hopkinson, Laura R. Humphrey
2023 J jnl
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis.
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
2022 — conf
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A.
ACL2
David A. Greve, Jennifer A. Davis, Laura R. Humphrey
2022 J jnl
The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART).
IEEE Trans. Hum. Mach. Syst.
Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
2020 B conf
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.
SEFM
Laura R. Humphrey, James Hamil, Joffrey Huguet
2019 B conf
Practical Application of SPARK to OpenUxAS.
FM
M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil
2019 A* conf
Salty-A Domain Specific Language for GR(1) Specifications and Designs.
ICRA
Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
2019 — conf
Structured Synthesis for Probabilistic Systems.
NFM
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2019 J jnl
Synthesis of Admissible Shields.
CoRR
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2019 — conf
When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.
CAV (1)
Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
2018 J jnl
Structured Synthesis for Probabilistic Systems.
CoRR
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2018 J jnl
Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop.
ACM Trans. Interact. Intell. Syst.
Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng
2018 J jnl
Trust-based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop.
CoRR
Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng
2017 J jnl
Reports on the 2016 AAAI Fall Symposium Series.
AI Mag.
Patrícia Alves-Oliveira, Richard G. Freedman, Dan Grollman, Laura Herlant, Laura R. Humphrey, Fei Liu, Ross Mead, Frank Stein, Tom Williams, Shomir Wilson
2017 J jnl
Shield synthesis.
Formal Methods Syst. Des.
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2016 C conf
Automated UAV tasks for search and surveillance.
CCA
Derek B. Kingston, Steven Rasmussen, Laura R. Humphrey
2016 A conf
Human-interpretable diagnostic information for robotic planning systems.
IROS
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
2016 — conf
Synthesis of Admissible Shields.
Haifa Verification Conference
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2016 J jnl
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng.
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2016 A conf
Trust-based human-robot interaction for multi-robot symbolic motion planning.
IROS
David A. Spencer, Yue Wang, Laura R. Humphrey
2015 — conf
Controller synthesis for autonomous systems interacting with human operators.
ICCPS
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2014 — conf
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.
AAAI Spring Symposia
Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu
2013 — conf
Maintaining Model Consistency during In-Flight Adaptation in a Flapping-Wing Micro Air Vehicle.
RiTA
John C. Gallagher, Laura R. Humphrey, Eric T. Matson
2012 — conf
Verification of a Leader Election Protocol for Autonomous Intruder Detection.
Infotech@Aerospace
Laura R. Humphrey
2010 J jnl
Simulated Responses to Support Surface Disturbances in a Humanoid Biped Model With a Vestibular-Like Apparatus.
IEEE Trans. Syst. Man Cybern. Part C
Laura R. Humphrey, Hooshang Hemami, Kamran Barin, Ashok K. Krishnamurthy