A deontic logic analysis of autonomous systems' safety. - Colin Shea-Blymyer; Houssam Abbas (HSCC, 2020)

Learning a Robot's Social Obligations from Comparisons of Observed Behavior. - Colin Shea-Blymyer; Houssam Abbas (ARSO, 2021)

A General Metric for the Similarity of Both Stochastic and Deterministic System Dynamics. - Colin Shea-Blymyer; Subhradeep Roy; Benjamin C. Jantzen (Entropy, 2021)

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. - Colin Shea-Blymyer; Houssam Abbas (ACM Trans. Cyber Phys. Syst., 2021)

Generating Deontic Obligations From Utility-Maximizing Systems. - Colin Shea-Blymyer; Houssam Abbas (AIES, 2022)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates. - Colin Shea-Blymyer; Houssam Abbas (AIES (1), 2024)