2005-10-201 Can Artificial Life Engender Real Understanding? Bruce MacLennan Dept. of Computer Science mclennan.
Conjunctive Grammars and Alternating Automata Tamar Aizikowitz and Michael Kaminski Technion – Israel Institute of Technology WoLLIC 2008 Heriot-Watt University.
Computation and its limits
TCCD Presentation
Universal Mission Controller with Run-Time Ethics Checking for Autonomous Unmanned Vehicles AUV 2012AUV 2012 Southampton UK IEEE Oceanic Engineering Society.
Low-Level Programming
Universal Mission Controller with Run-Time Ethics Checking for Autonomous Unmanned Vehicles