Josefine Graebener: Difference between revisions
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 }}") |
No edit summary |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
|First name=Josefine | |First name=Josefine | ||
|Last name=Graebener | |Last name=Graebener | ||
|Current position= | |Current position=Alumni | ||
|Department=Aero | |Department=Aero | ||
| | |Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems, Layered T&E for Safety-Critical Autonomous Systems, Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation | ||
|Graduated=2024/04/30 | |||
|Previous positions=PhD student | |||
|Subsequent positions=Research engineer, Zoox | |||
}} | }} | ||
Latest revision as of 20:06, 30 November 2025
| First name | Josefine |
|---|---|
| Last name | Graebener |
| Current position | Alumni |
| Department | Aero |
| Co-advisor | |
| Current project | |
| Other projects | |
| Previous projects | Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems, Layered T&E for Safety-Critical Autonomous Systems, Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation |
| Graduated | 2024/04/30 |
| Previous positions | PhD student |
| URL | |
| Subsequent positions | Research engineer, Zoox |
Papers:
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray. Submitted, IEEE Transactions on Robotics, 2024.
- Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023.
- A Model-Free Algorithm for Extremely Resilient Navigation. Christian J. Stromberger, Josefine B. Graebener, James F. Ragan, and Richard M. Murray. Submitted, 2024 International Conference on Robotics and Automation (ICRA).
- 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).
- 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).
