research
∙
05/27/2023
Context-Aided Variable Elimination for Requirement Engineering
Deriving system-level specifications from component specifications usual...
share
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...
research
∙
01/23/2023
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
We propose an adversarial, time-varying test-synthesis procedure for saf...
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
∙
08/12/2022
OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints
Towards the informed design of large-scale distributed data-gathering ar...
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
∙
09/09/2021
Risk-Averse Decision Making Under Uncertainty
A large class of decision making under uncertainty problems can be descr...
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
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
In many autonomy applications, performance of perception algorithms is i...
research
∙
03/05/2021
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty
When autonomous robots interact with humans, such as during autonomous d...
research
∙
12/04/2020
Constrained Risk-Averse Markov Decision Processes
We consider the problem of designing policies for Markov decision proces...
research
∙
11/28/2020
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles
The ability to guarantee safety and progress for all vehicles is vital t...
research
∙
04/08/2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
The prolific rise in autonomous systems has led to questions regarding t...
research
∙
01/20/2020
Counter-example Guided Learning of Bounds on Environment Behavior
There is a growing interest in building autonomous systems that interact...
research
∙
12/10/2019
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data
In this work, we propose a robust network-in-the-loop control system tha...
research
∙
11/19/2019
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Motivated by exploration of communication-constrained underground enviro...
research
∙
09/27/2019
Risk-Averse Planning Under Uncertainty
We consider the problem of designing policies for partially observable M...
research
∙
09/11/2019
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Rules or specifications for autonomous vehicles are currently formulated...
research
∙
03/21/2019
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
Reinforcement Learning (RL) algorithms have found limited success beyond...
research
∙
03/11/2018
Detecting Adversarial Examples via Neural Fingerprinting
Deep neural networks are vulnerable to adversarial examples, which drama...
research
∙
09/20/2017
