Christopher Rouff

• ACS Without an Attitude
• Agent Technology from a Formal Perspective
• Assured Autonomy Survey
• Experience from the DARPA Urban Challenge
• Formal approaches to agent-based systems
• Robot Memetics