research
∙
06/05/2023
RTAEval: A framework for evaluating runtime assurance logic
Runtime assurance (RTA) addresses the problem of keeping an autonomous s...
share
research
∙
04/28/2023
ChatGPT – a Blessing or a Curse for Undergraduate Computer Science Students and Instructors?
ChatGPT is an AI language model developed by OpenAI that can understand ...
research
∙
01/20/2023
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
We present the Verse library with the aim of making hybrid system verifi...
research
∙
10/04/2022
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing
In 2021, the Coordinated Science Laboratory CSL, an Interdisciplinary Re...
research
∙
10/03/2022
Assuring safety of vision-based swarm formation control
Vision-based formation control systems recently have attracted attention...
research
∙
09/22/2022
Learning Certifiably Robust Controllers Using Fragile Perception
Advances in computer vision and machine learning enable robots to percei...
research
∙
08/03/2022
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Modern autonomous vehicle systems use complex perception and control com...
research
∙
01/13/2022
Multi-agent Motion Planning from Signal Temporal Logic Specifications
We tackle the challenging problem of multi-agent cooperative motion plan...
research
∙
11/10/2021
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Convolutional Neural Networks (CNN) for object detection, lane detection...
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/04/2019
Optimistic Optimization for Statistical Model Checking with Regret Bounds
We explore application of multi-armed bandit algorithms to statistical m...
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
∙
10/03/2019
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Programming languages, libraries, and development tools have transformed...
research
∙
09/10/2012
