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 | 10 | 2021 |
A deontic logic analysis of autonomous systems' safety C Shea-Blymyer, H Abbas Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 10 | 2020 |
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 | 5 | 2021 |
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 | 4 | 2022 |
OutbreakSum: Automatic Summarization of Texts Relating to Disease Outbreaks R Gruss, D Morgado, N Craun, C Shea-Blymyer | 3 | 2014 |
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 | 2 | 2021 |
Inspectable Incrementality in Minimum Feedback Arc Set Solving C Shea-Blymyer, JM Young Proceedings of ACM Conference, 1-8, 2021 | 1 | 2021 |
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 | | |