Spremljaj
Colin Shea-Blymyer
Colin Shea-Blymyer
Research Fellow, Georgetown University
Preverjeni e-poštni naslov na oregonstate.edu - Domača stran
Naslov
Navedeno
Navedeno
Leto
Algorithmic ethics: Formalization and verification of autonomous vehicle obligations
C Shea-Blymyer, H Abbas
ACM Transactions on Cyber-Physical Systems (TCPS) 5 (4), 1-25, 2021
102021
A deontic logic analysis of autonomous systems' safety
C Shea-Blymyer, H Abbas
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
102020
A general metric for the similarity of both stochastic and deterministic system dynamics
C Shea-Blymyer, S Roy, B Jantzen
Entropy 23 (9), 1191, 2021
52021
Generating Deontic Obligations From Utility-Maximizing Systems
C Shea-Blymyer, H Abbas
Proceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society, 653-663, 2022
42022
OutbreakSum: Automatic Summarization of Texts Relating to Disease Outbreaks
R Gruss, D Morgado, N Craun, C Shea-Blymyer
32014
Learning a Robot's Social Obligations from Comparisons of Observed Behavior
C Shea-Blymyer, H Abbas
2021 IEEE International Conference on Advanced Robotics and Its Social …, 2021
22021
Inspectable Incrementality in Minimum Feedback Arc Set Solving
C Shea-Blymyer, JM Young
Proceedings of ACM Conference, 1-8, 2021
12021
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
C Shea-Blymyer, H Abbas
Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society 7, 1368-1378, 2024
2024
How to Reason About the Obligations of Autonomous Systems
C Shea-Blymyer
2024
Deontic Logic for Normative Autonomous Systems
C Shea-Blymyer
2021
The Colors of Love: Topic/Image Color Mining via Clustering
C Shea-Blymyer
2019
Distinguishing Dynamical Kinds: An Approach for Automating Scientific Discovery
C Shea-Blymyer
Virginia Tech, 2019
2019
Differentiation of Collective Behavior Based on Automated Discovery of Dynamical Kinds
A Hashimoto, N Abaid, S Roy, B Jantzen, C Shea-Blymyer
Dynamic Systems and Control Conference 51913, V003T30A008, 2018
2018
Comparative Analysis of Constructed and Random DAGs for Automated Causal Discovery
C Shea-Blymyer, VK Abnousi
2017
Chaos and Biodiversity in Stochastic Lotka-Volterra Models
C Shea-Blymyer, P Summers
2017
Model Checking the Optimal Behavior of Big Markov Processes
C Shea-Blymyer, H Abbas
FoMo-Formula and Model Generation for Learning-Based Formal Methods
C Shea-Blymyer, H Abbas
First International Workshop on Deep Learning-aided Verification, 0
Peeking Behind the Mask Modeling Belief in a Game of Mascarade
C Shea-Blymyer
Drug Repositioning
M Oh, C Shea-Blymyer
Forecasting of Spatio-temporal Chaotic Dynamics with Self-Attention
C Shea-Blymyer, S Li
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20