Josefine Graebener

According to our database, Josefine Graebener authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

2023

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, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2023

Reasoning over Test Specifications Using Assume-Guarantee Contracts.

Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.

Josefine Graebener, Apurva Badithela, Richard M. Murray

CoRR, 2022

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems^đagger.

Josefine Graebener, Apurva Badithela, Richard M. Murray

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

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

CoRR, 2021