86 citations · 91 across the 5 of their papers we have counts for
7 papers
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
Colin Shea-Blymyer, Houssam Abbas
We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permi…
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz +3
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is…
Logical Signal Processing: a Fourier Analysis of Temporal Logic
Niraj Basnet, Houssam Abbas
What is the frequency content of temporal logic formulas? That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic and sho…
A Deontic Logic Analysis of Autonomous Systems' Safety
Colin Shea-Blymyer, Houssam Abbas
We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and r…
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace
Connor Kurtz, Houssam Abbas
We present a solution to the problem of fairly planning a fleet of Unmanned Aerial Vehicles (UAVs) that have different missions and operators, such that no one operator unfairly ge…
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alëna Rodionova, Yash Vardhan Pant, Kuk Jang +2
With increasing urban population, there is global interest in Urban Air Mobility (UAM), where hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the airspac…