Laura R. Humphrey

According to our database, Laura R. Humphrey authored at least 23 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

A Formal Method for Assessing Mental Workload.

Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Formal Verification of Prim's Algorithm in SPARK.

Brian Wheelhouse, Kenneth M. Hopkinson, Laura R. Humphrey

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

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

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

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2020

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK.

Laura R. Humphrey, James Hamil, Joffrey Huguet

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

Structured Synthesis for Probabilistic Systems.

Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Salty-A Domain Specific Language for GR(1) Specifications and Designs.

Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu

Proceedings of the International Conference on Robotics and Automation, 2019

Practical Application of SPARK to OpenUxAS.

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop.

Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng

ACM Trans. Interact. Intell. Syst., 2018

2017

Shield synthesis.

Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang

Formal Methods Syst. Des., 2017

Reports on the 2016 AAAI Fall Symposium Series.

Patrícia Alves-Oliveira, Richard G. Freedman, Dan Grollman, Laura Herlant, Laura R. Humphrey, Fei Liu, Ross Mead, Frank Stein, Tom Williams, Shomir Wilson

AI Mag., 2017

2016

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

IEEE Trans Autom. Sci. Eng., 2016

Trust-based human-robot interaction for multi-robot symbolic motion planning.

David A. Spencer, Yue Wang, Laura R. Humphrey

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Human-interpretable diagnostic information for robotic planning systems.

Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Synthesis of Admissible Shields.

Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu

Proceedings of the Hardware and Software: Verification and Testing, 2016

Automated UAV tasks for search and surveillance.

Derek B. Kingston, Steven Rasmussen, Laura R. Humphrey

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Controller synthesis for autonomous systems interacting with human operators.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

2014

Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.

Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Maintaining Model Consistency during In-Flight Adaptation in a Flapping-Wing Micro Air Vehicle.

John C. Gallagher, Laura R. Humphrey, Eric T. Matson

Proceedings of the Robot Intelligence Technology and Applications 2, 2013

2012

Verification of a Leader Election Protocol for Autonomous Intruder Detection.

Laura R. Humphrey

Proceedings of the Infotech@Aerospace 2012, 2012

2010

Simulated Responses to Support Surface Disturbances in a Humanoid Biped Model With a Vestibular-Like Apparatus.

Laura R. Humphrey, Hooshang Hemami, Kamran Barin, Ashok Krishnamurthy

IEEE Trans. Syst. Man Cybern. Part C, 2010