Josefine Graebener: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
|Current position=PhD student | |Current position=PhD student | ||
|Department=Aero | |Department=Aero | ||
|Current project= | |Current project=Layered T&E for Safety-Critical Autonomous Systems | ||
|Other projects= | |Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation | ||
|Previous projects= | |Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems | ||
}} | }} | ||
Revision as of 17:17, 9 July 2023
| First name | Josefine |
|---|---|
| Last name | Graebener |
| Current position | PhD student |
| Department | Aero |
| Co-advisor | |
| Current project | Layered T&E for Safety-Critical Autonomous Systems |
| Other projects | Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation |
| Previous projects | Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems |
| Graduated | |
| Previous positions | |
| URL | |
| Subsequent positions |
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).
