Engineering

Merlin Labs develops autonomous 55-craft King Air fleet

Inspired by a close encounter with a fellow aircraft during his years as a novice pilot, Merlin Labs founder Matt George found himself drawn to the idea of applying ground transportation safety methods to air traffic. Now, ...

Automotive

A better intelligence test for autonomous driving systems

In 2015, Elon Musk guessed that the industry should expect fully autonomous vehicles by 2018—but that never happened. In 2014, Nissan promised multiple, commercially viable driverless vehicles on the market by 2020. While ...

Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...