Stochastic reachability for discrete time systems: an application to aircraft collision avoidance. - Oliver Watkins; John Lygeros (CDC, 2003)

Syntax-Semantic Mapping for General Intelligence: Language Comprehension as Hypergraph Homomorphism, Language Generation as Constraint Satisfaction. - Ruiting Lian; Ben Goertzel; Shujing Ke; Jade O'Neill; Keyvan Sadeghi; Simon C. K. Shiu; Dingjie Wang; Oliver Watkins; Gino Yu (AGI, 2012)

The cogprime architecture for embodied Artificial General Intelligence. - Ben Goertzel; Shujing Ke; Ruiting Lian; Jade O'Neill; Keyvan Sadeghi; Dingjie Wang; Oliver Watkins; Gino Yu (CIHLI, 2013)