Alwyn E. Goodloe

Governing AI safety through independent audits

Gregory Falco, Ben Shneiderman, Julia Badger et al. · Nature Machine Intelligence · 2021 · 197 citations

Auditing, Responsible Ai, Accounting +8

Monitoring Distributed Real-Time Systems: A Survey and Future Directions

Alwyn E. Goodloe, Lee Pike · 2010 · 73 citations

Copilot: monitoring embedded systems

Lee Pike, Nis Wegmann, Sebastian Niller et al. · Innovations in Systems and Software Engineering · 2013 · 50 citations · Full text

Engineering, Performance Monitoring, Computer Engineering +6

Challenges in the Verification of Reinforcement Learning Algorithms

Perry van Wesel, Alwyn E. Goodloe · NASA STI Repository (National Aeronautics and Space Administration) · 2017 · 30 citations · Full text

Artificial Intelligence, Ml Verification, Ai Reliability +15

Formal prototyping in early stages of protocol design

Alwyn E. Goodloe, Carl A. Gunter, Mark-Oliver Stehr · 2005 · 18 citations

Engineering, Information Security, Verification +23