5 citations · 5 across the 2 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
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…