Alert button
Picture for Howard Shrobe

Howard Shrobe

Alert button

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

Viaarxiv icon

On the Behavioural Formalization of the Cognitive Middleware AWDRAT

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

Viaarxiv icon