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