Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "AIRE"

Now showing items 1-1 of 1

  • On the Formal Semantics of the Cognitive Middleware AWDRAT 

    AIRE (2015-03-03)
    The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand ...