Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Autonomous systems such as unmanned vehicles are beginning to operate within society.
All participants in society are required to follow specific regulations and laws. An …

The coordination of multiple autonomous vehicles into convoys or platoons is expected on
our highways in the near future. However, before such platoons can be deployed, the …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

Verifying autonomous systems Page 1 84 commUnications of thE acm | september 2013 | vol.
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

Previous work on ethical machine reasoning has largely been theoretical, and where such
systems have been implemented, it has, in general, been only initial proofs of principle …

We present a verification methodology for analysing the decision-making component in
agent-based hybrid systems. Traditionally hybrid automata have been used to both …

It is claimed that, in the nascent 'Cognitive Era', intelligent systems will be trained using
machine learning techniques rather than programmed by software developers. A contrary …