Colin Shea-Blymyer | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Houssam Abbas
8 publications

research

∙ 05/06/2021

Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

We develop a formal framework for automatic reasoning about the obligati...

0 Colin Shea-Blymyer, et al. ∙

research

∙ 09/01/2020

A Deontic Logic Analysis of Autonomous Systems' Safety

We consider the pressing question of how to model, verify, and ensure th...

0 Colin Shea-Blymyer, et al. ∙