default search action
Laura R. Humphrey
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j7]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): 590-599 (2023) - [c16]Brian Wheelhouse, Kenneth M. Hopkinson, Laura R. Humphrey:
Formal Verification of Prim's Algorithm in SPARK. HICSS 2023: 6695-6703 - [c15]Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey:
A Formal Method for Assessing Mental Workload. SMC 2023: 5255-5260 - 2022
- [j6]Matthew L. Bolton
The Level of Measurement of Subjective Situation Awareness and Its Dimensions in the Situation Awareness Rating Technique (SART). IEEE Trans. Hum. Mach. Syst. 52(6): 1147-1154 (2022) - [c14]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: 33-47 - 2020
- [c13]Laura R. Humphrey, James Hamil, Joffrey Huguet:
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. SEFM 2020: 60-76
2010 – 2019
- 2019
- [c12]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: 366-375 - [c11]M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil:
Practical Application of SPARK to OpenUxAS. FM 2019: 751-761 - [c10]Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA 2019: 4545-4551 - [c9]Nils Jansen
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254 - [i3]Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu:
Synthesis of Admissible Shields. CoRR abs/1904.06938 (2019) - 2018
- [j5]Yue Wang
Trust-Based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop. ACM Trans. Interact. Intell. Syst. 8(4): 31:1-31:33 (2018) - [i2]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018) - [i1]Yue Wang, Laura R. Humphrey, Zhanrui Liao, Huanfei Zheng:
Trust-based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop. CoRR abs/1808.05120 (2018) - 2017
- [j4]Patrícia Alves-Oliveira
Reports on the 2016 AAAI Fall Symposium Series. AI Mag. 38(2): 86-90 (2017) - [j3]Bettina Könighofer
Shield synthesis. Formal Methods Syst. Des. 51(2): 332-361 (2017) - 2016
- [j2]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): 450-462 (2016) - [c8]Derek B. Kingston, Steven Rasmussen, Laura R. Humphrey:
Automated UAV tasks for search and surveillance. CCA 2016: 1-8 - [c7]Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
Synthesis of Admissible Shields. Haifa Verification Conference 2016: 134-151 - [c6]David A. Spencer, Yue Wang
Trust-based human-robot interaction for multi-robot symbolic motion planning. IROS 2016: 1443-1449 - [c5]Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
Human-interpretable diagnostic information for robotic planning systems. IROS 2016: 1673-1680 - 2015
- [c4]Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Controller synthesis for autonomous systems interacting with human operators. ICCPS 2015: 70-79 - 2014
- [c3]Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu:
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. AAAI Spring Symposia 2014 - 2013
- [c2]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: 517-530 - 2012
- [c1]Laura R. Humphrey:
Verification of a Leader Election Protocol for Autonomous Intruder Detection. Infotech@Aerospace 2012 - 2010
- [j1]Laura R. Humphrey, Hooshang Hemami, Kamran Barin, Ashok Krishnamurthy:
Simulated Responses to Support Surface Disturbances in a Humanoid Biped Model With a Vestibular-Like Apparatus. IEEE Trans. Syst. Man Cybern. Part C 40(1): 109-119 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: