1 code implementation • 6 Apr 2022 • Josefine Graebener, Apurva Badithela, Richard M. Murray
We present a framework for merging unit tests for autonomous systems.
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.