7 citations · 12 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…