Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Howard Shrobe

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust


Oct 27, 2020
Ufuk Topcu, Nadya Bliss, Nancy Cooke, Missy Cummings, Ashley Llorens, Howard Shrobe, Lenore Zuck

* A Computing Community Consortium (CCC) workshop report, 28 pages 

  Access Paper or Ask Questions

On the Behavioural Formalization of the Cognitive Middleware AWDRAT


Dec 07, 2014
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe


  Access Paper or Ask Questions