86 citations · 138 across the 14 of their papers we have counts for
4 papers · 1 filter
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…