Josefine Graebener
From Murray Wiki
Jump to navigationJump to search
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.
- 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).
- 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).
- 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).