Search Results for author: Howard Shrobe

Found 2 papers, 0 papers with code

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

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

The second workshop held in February 2020, focused on existing capabilities, current research, and research trends that could address the challenges and problems identified in workshop.

On the Behavioural Formalization of the Cognitive Middleware AWDRAT

no code implementations7 Dec 2014 Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe

Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a pre-requisite for our proof of the behavioral correctness.

Cannot find the paper you are looking for? You can Submit a new open access paper.