research
∙
03/31/2023
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Contract-based design is a method to facilitate modular system design. W...
share
research
∙
10/19/2022
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
We study automated test generation for verifying discrete decision-makin...
research
∙
10/19/2022
Evaluation Metrics for Object Detection for Autonomous Systems
This paper studies the evaluation of learning-based object detection mod...
research
∙
04/06/2022
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
We present a framework for merging unit tests for autonomous systems. Ty...
research
∙
08/12/2021
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
In this paper, we investigate formal test-case generation for high-level...
research
∙
05/16/2021
