Josefine Graebener

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Uncertain Environments

Set Of Test Cases

Autonomous Systems

Top Venues

Publications

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
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Josefine Graebener, Apurva Badithela, Richard M. Murray
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. CoRR (2022)
Josefine Graebener, Apurva Badithela, Richard M. Murray
. NFM (2022)
Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. CoRR (2021)