Laura R. Humphrey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SMC | A Formal Method for Assessing Mental Workload. | Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey |
| 2020 | SEFM | End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. | Laura R. Humphrey, James Hamil, Joffrey Huguet |
| 2019 | CAV | 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 |
| 2019 | FM | Practical Application of SPARK to OpenUxAS. | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
| 2019 | ICRA | Salty-A Domain Specific Language for GR(1) Specifications and Designs. | Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu |
| 2016 | IROS | Human-interpretable diagnostic information for robotic planning systems. | Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu |
| 2016 | IROS | Trust-based human-robot interaction for multi-robot symbolic motion planning. | David A. Spencer, Yue Wang, Laura R. Humphrey |