Autonomous Vehicles ROS Rules of the Road Technology: general issues agents aggregate computing belief-desire-intention (BDI) collective autonomy coordination decision-making formal verification human-agent interaction jason model checking multi-agent systems rational agent robot operating system (ROS) robotic agents robotics self-driving vehicle self-organisation software engineering verification and validation