86 citations · 138 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 7 cited
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…
eess.SY2021
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…