Sign in
Josefine B. Graebener
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Max Min
Autonomous Systems
Uncertain Environments
Test Cases
Top Venues
ICRA
CoRR
NFM
</>
Publications
</>
Apurva Badithela
,
Josefine B. Graebener
,
Wyatt Ubellacker
,
Eric V. Mazumdar
,
Aaron D. Ames
,
Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.
ICRA
(2023)
Apurva Badithela
,
Josefine B. Graebener
,
Inigo Incer
,
Richard M. Murray
Reasoning over Test Specifications Using Assume-Guarantee Contracts.
NFM
(2023)
Apurva Badithela
,
Josefine B. Graebener
,
Wyatt Ubellacker
,
Eric V. Mazumdar
,
Aaron D. Ames
,
Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows.
CoRR
(2022)