activity
20142021
most citedAssured Autonomy: Path Toward Living With Autonomous Systems We Can Trust

14 citations · 30 across the 6 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2014

On the Behavioural Formalization of the Cognitive Middleware AWDRAT

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe

We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a…