research
∙
02/27/2023
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
We propose a context-sensitive grammar for the systematic exploration of...
share
research
∙
12/28/2022
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks
Function approximation has enabled remarkable advances in applying reinf...
research
∙
11/21/2020
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
We present a Symmetry-based abstraction refinement algorithm SymAR that ...
research
∙
09/10/2020
Unmanned Air-traffic Management (UTM): Formalization, a Prototype Implementation, Verification, and Performance Evaluation
Unmanned Aircraft Systems (UAS) traffic management system (UTM) is neces...
research
∙
04/01/2020
Differential Privacy for Sequential Algorithms
We study the differential privacy of sequential statistical inference an...
research
∙
11/01/2019
Multi-Agent Safety Verification using Symmetry Transformations
We show that symmetry transformations and caching can enable scalable, a...
research
∙
10/12/2019
Online monitoring for safe pedestrian-vehicle interactions
As autonomous systems begin to operate amongst humans, methods for safe ...
research
∙
12/07/2017
Adversarial Examples that Fool Detectors
An adversarial example is an example that has been adjusted to produce a...
research
∙
10/09/2017
Standard detectors aren't (currently) fooled by physical adversarial stop signs
An adversarial example is an example that has been adjusted to produce t...
research
∙
07/12/2017
