research
∙
08/05/2023
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
We present the first decentralized algorithm for detecting predicates ov...
share
research
∙
08/10/2022
Differentiable Inference of Temporal Logic Formulas
We demonstrate the first Recurrent Neural Network architecture for learn...
research
∙
05/06/2021
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
We develop a formal framework for automatic reasoning about the obligati...
research
∙
01/25/2021
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Urban Air Mobility, the scenario where hundreds of manned and Unmanned A...
research
∙
09/01/2020
A Deontic Logic Analysis of Autonomous Systems' Safety
We consider the pressing question of how to model, verify, and ensure th...
research
∙
06/23/2020
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
With increasing urban population, there is global interest in Urban Air ...
research
∙
01/24/2019
F1/10: An Open-Source Autonomous Cyber-Physical Platform
In 2005 DARPA labeled the realization of viable autonomous vehicles (AVs...
research
∙
10/09/2018