most citedOn the Formal Semantics of the Cognitive Middleware AWDRAT

9 citations · 9 across the 2 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…