Autonomous Vehicles

Efficient Formal Safety Analysis of Neural Networks

Neural Information Processing Systems

Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these networks have been shown to often mispredict on inputs with minor adversarial or even accidental perturbations. Consequences of such errors can be disastrous and even potentially fatal as shown by the recent Tesla autopilot crash. Thus, there is an urgent need for formal analysis systems that can rigorously check neural networks for violations of different safety properties such as robustness against adversarial perturbations within a certain L-norm of a given image. An effective safety analysis system for a neural network must be able to either ensure that a safety property is satisfied by the network or find a counterexample, i.e., an input for which the network will violate the property.

Toyota semi-autonomous tech could enhance driving experience, not replace it


Toyota has, over the years, earned a reputation for producing the beige Corollas that always seem to clog the fast lane. Yet this is the same company that still offers in many of its cars the rapidly dying stickshift option so many enthusiasts ask for. Moving towards the autonomous era, Toyota is taking a refreshingly open view to how the self-driving car will keep the driver engaged. The philosophy falls under the "automation with a human touch" banner. Advanced driver aids, says the company, are designed to enhance the human experience, not replace it.

Irish potholes and poor road markings great test for self-driving cars


The Government is to amend road traffic legislation to allow for the testing of self-driving vehicles on Irish roads. So what has the State got to give the autonomous driving world? It seems that Irish motorists' pain is the automotive industry's potential gain. Self-driving vehicles use a combination of video and radar to feed data to the self-driving programmes. Both the cameras and the radars have shown to work reasonably well on the dry and well-marked highways of certain US states such as California.

Distraction or disruption? Autonomous trucks gain ground in US logistics


Technology has upended one business after another across the United States. To cite only the most recent developments: Lyft and others have utterly changed personal transportation, and Airbnb has done the same for hospitality. And in January 2018, the first Amazon Go store opened, sans checkout clerks, promising similar upheaval for grocers. What is happening is fairly well understood, if initially underestimated. Digitization and other technological advances are exposing the vulnerabilities in every industry, particularly retail. And now, logistics companies are starting to feel the heat. Our new research has turned up five trends that offer startling indicators of impending change for the trucking, rail, warehousing, and logistics companies that move America's merchandise. Start with autonomous trucks (ATs), which will change the cost structure and utilization of trucking--and with that, the cost of consumer goods. Sixty-five percent of the nation's consumable goods are trucked to market.

An obstacle course for AI


AI is better at recognizing objects than the average human -- but only under super-specific circumstances. Even a slightly unusual scene can cause it to fail. Why it matters: Image recognition is at the heart of frontier AI products like autonomous cars, delivery drones and facial recognition. But these systems are held back by serious problems interpreting the messy real world.

MIT AI Camera Uses Shadows to See Around Corners


A team of researchers at MIT have created a new AI algorithm that can help cameras "see" off-camera things using only moving shadows. In a paper titled "Computational Mirrors: Blind Inverse Light Transport by Deep Matrix Factorization," the scientists at MIT's CSAIL share how they pointed a camera at a pile of objects and then filmed the shadows created on those objects by a person moving around off-camera. The AI analyzed the shadows and was able to reconstruct a blurry but strikingly accurate video of what the person was doing with their hands. While many of the current results may look like a blurry mess of pixels, scientists are working to refine the technology to one day allow cameras to see around corners and other obstructions, something that could be useful in a wide range of applications, from search and rescue to self-driving cars.

Photonics Unfettered: Beam-Steering, Spatial-Light Modulators, and Superfast Microscopy


"It's fun," says research scientist Janelle Shane of her perpetual learning curve at Boulder Nonlinear Systems, a custom light-control manufacturing company. "This was my first job after my PhD. I knew I wanted to go into industry, and this merges post-doc-style research with business." With her colleagues, Shane works on projects that encompass a multitude of optics-related technologies, from nonmechanical beamsteering for planetary landers and self-driving cars, to ultrafast microscopy and spatial light modulators for neuroscientists. "We're driven by cutting-edge science and pushed to build something new," she says.

Tesla on autopilot rear-ended Connecticut cop car as driver checked on dog: police

FOX News

Fox News Flash top headlines for Dec. 7 are here. Check out what's clicking on A Tesla on autopilot rear-ended a Connecticut trooper's vehicle early Saturday as the driver was checking on his dog in the back seat, state police said. Police said they had responded to a disabled vehicle that was stopped in the middle of Interstate 95. While waiting for a tow, the self-driving Tesla came down the road.

Automakers investing billions in partnerships as industry races toward autonomous and electric vehicles


DETROIT – General Motors' $2.3 billion joint venture with LG Chem for production of battery cells for electric vehicles is "more than a collaboration," it's a necessity in today's rapidly changing automotive industry. The announced joint venture between America's largest automaker and the South Korean chemical giant adds to a growing list of tie-ups for the auto industry as companies attempt to share in the monumental costs of electric and autonomous vehicles. Automakers such as GM are annually spending billions on the emerging technologies in an attempt to gain an upper hand on the potential multitrillion-dollar businesses, which many believe will transform transportation as we know it and assist in lowering global carbon emissions. But, for the moment, remain unprofitable. Mark Wakefield, global co-leader of the automotive and industrial practice at AlixPartners and a managing director at the firm, said the "tricky balance" of investing in new technologies while keeping traditional business operations profitable is one of the main drivers for the uptick in auto industry partnerships.

US military says Russian air defenses shot down unarmed drone near Libyan capital: report

FOX News

Fox News Flash top headlines for Dec. 7 are here. Check out what's clicking on The U.S. military believes the unarmed drone that went missing over the Libyan capital last month was actually shot down by Russian air defenses. The U.S. Africa Command is demanding the return of the aircraft's wreckage, which had been part of an operation conducted in Libya to assess the area's security and monitor for violent extremist activity. The command didn't give a reason for the drone loss after the Nov. 21 incident, but they had been investigating, Reuters reported.