7 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
Colin Shea-Blymyer, Houssam Abbas
When designing agents for operation in uncertain environments, designers need tools to automatically reason about what agents ought to do, how that conflicts with what is actually…
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…
cs.LO2020★ 5 cited
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…