Search Results for author: Josefine Graebener

Found 2 papers, 1 papers with code

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems

1 code implementation • 6 Apr 2022 • Josefine Graebener, Apurva Badithela, Richard M. Murray

We present a framework for merging unit tests for autonomous systems.

Paper
Code

Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture

no code implementations • 24 Mar 2021 • Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray

Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures.

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.