Abstract: This paper presents a formal specification framework for planning and control of autonomous robots, focusing on the challenge of managing complex trade-offs among multiple, potentially ...

Driverless cars haven't always obeyed the rules of the road but, unlike vehicles with humans behind the wheel, they've gotten ...

Remote-controlled weapons have been used for some time, but AI is now on the cusp of making battlefield decisions.

Rapid military adoption of artificial intelligence is becoming essential to Ukraine’s survival, even as full integration ...

The recent capture of a Russian position using ground robots is a milestone for the use of machines in warfare.

Abstract: Autonomous robots powered by deep learning face a fundamental auditability challenge: when incidents occur, investigators cannot reconstruct why the system made specific decisions. This ...