Laura R. Humphrey

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 18

Top Topics

Controller Synthesis

Surveillance System

Unmanned Aerial Vehicles

Motion Planning

Top Venues

Haifa Verification Conference

Publications

Matthew L. Bolton, Elliot Biltekoff, Laura R. Humphrey
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis. IEEE Trans. Hum. Mach. Syst. 53 (3) (2023)
Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey
A Formal Method for Assessing Mental Workload. SMC (2023)
David A. Greve, Jennifer A. Davis, Laura R. Humphrey
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A. ACL2 (2022)
Laura R. Humphrey, James Hamil, Joffrey Huguet
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. SEFM (2020)
M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil
Practical Application of SPARK to OpenUxAS. FM (2019)
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
Synthesis of Admissible Shields. CoRR (2019)
Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. CAV (1) (2019)
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
Structured Synthesis for Probabilistic Systems. NFM (2019)
Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA (2019)
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
Structured Synthesis for Probabilistic Systems. CoRR (2018)
Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng
Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop. ACM Trans. Interact. Intell. Syst. 8 (4) (2018)
Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng
Trust-based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop. CoRR (2018)
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
Shield synthesis. Formal Methods Syst. Des. 51 (2) (2017)
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
Human-interpretable diagnostic information for robotic planning systems. IROS (2016)
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
Synthesis of Admissible Shields. Haifa Verification Conference (2016)
David A. Spencer, Yue Wang, Laura R. Humphrey
Trust-based human-robot interaction for multi-robot symbolic motion planning. IROS (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Derek B. Kingston, Steven Rasmussen, Laura R. Humphrey
Automated UAV tasks for search and surveillance. CCA (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Controller synthesis for autonomous systems interacting with human operators. ICCPS (2015)
Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. AAAI Spring Symposia (2014)
John C. Gallagher, Laura R. Humphrey, Eric T. Matson
Maintaining Model Consistency during In-Flight Adaptation in a Flapping-Wing Micro Air Vehicle. RiTA (2013)