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)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger . - Josefine Graebener; Apurva Badithela; Richard M. Murray (NFM, 2022)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. - Josefine Graebener; Apurva Badithela; Richard M. Murray (CoRR, 2022)

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 (ICRA, 2023)

Reasoning over Test Specifications Using Assume-Guarantee Contracts. - Apurva Badithela; Josefine B. Graebener; Inigo Incer; Richard M. Murray (NFM, 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)

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)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Nicolas Rouquette; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ACM Trans. Cyber Phys. Syst., 2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. - Josefine B. Graebener; Inigo Incer; Richard M. Murray (CoRR, 2025)