Difference between revisions of "Josefine Graebener"
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{Group member |First name=Josefine |Last name=Graebener |Current position=PhD student |Department=Aero |Current project=DENSO CPM }}") |
|||
| Line 4: | Line 4: | ||
|Current position=PhD student | |Current position=PhD student | ||
|Department=Aero | |Department=Aero | ||
|Current project=DENSO CPM | |Current project=NSF T&E | ||
|Previous projects=DENSO CPM | |||
}} | }} | ||
Revision as of 16:29, 4 September 2021
| First name | Josefine |
|---|---|
| Last name | Graebener |
| Current position | PhD student |
| Department | Aero |
| Co-advisor | |
| Current project | NSF T&E |
| Other projects | |
| Previous projects | DENSO CPM |
| Graduated | |
| Previous positions | |
| URL |
Papers:
- Reasoning over Test Specifications using Assume-Guarantee Contracts. Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray. Submitted, NASA Formal Methods (NFM), 2023.
- Minimally Constrained Testing for Autonomy with Temporal Logic Specifications. Apurva Badithela, Josefine Graebener, Richard M. Murray. RSS 2022 Workshop on Envisioning an Infrastructure for Multi-Robot and Collaborative Autonomy Testing and Evaluation.
- Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray. Submitted, 2023 International Conference on Robotics and Automation (ICRA).
- A Model-Free Algorithm for Extremely Resilient Navigation. Christian J. Stromberger, Josefine B. Graebener, James F. Ragan, Richard M. Murray. Submitted, 2023 International Conference on Robotics and Automation (ICRA).
- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. Josefine Graebener, Apurva Badithela, Richard M. Murray. 2022 NASA Formal Methods Symposium (NFM).
- Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray. Submitted, 2021 Conference on Decision and Control (CDC).
