Counterexample-Guided Safety Contracts for Autonomous Driving by DeCastro, Jonathan, Liebenwein, Lucas, Vasile, Cristian-Ioan, Tedrake, Russell L, Karaman, Sertac, Rus, Daniela L

“…However, formally verifying autonomous driving decisions systems is difficult. In this paper, we propose a frame-work for constructing a set of safety contracts that serve as design requirements for controller synthesis for a given scenario. …”
Get full text

Pillar-Based Object Detection for Autonomous Driving by Wang, Y, Fathi, A, Kundu, A, Ross, DA, Pantofaru, C, Funkhouser, T, Solomon, J

“…We present a simple and flexible object detection framework optimized for autonomous driving. Building on the observation that point clouds in this application are extremely sparse, we propose a practical pillar-based approach to fix the imbalance issue caused by anchors. …”
Get full text

A cloud-assisted design for autonomous driving by Suresh Kumar, Swarun, Gollakota, Shyamnath, Katabi, Dina

“…This paper presents Carcel, a cloud-assisted system for autonomous driving. Carcel enables the cloud to have access to sensor data from autonomous vehicles as well as the roadside infrastructure. …”
Get full text
Get full text
Get full text

A General Pipeline for 3D Detection of Vehicles by Du, Xinxin, Ang, Marcelo H., Karaman, Sertac, Rus, Daniela

“…© 2018 IEEE. Autonomous driving requires 3D perception of vehicles and other objects in the in environment. …”
Get full text

Dynamically programmable surfaces for high-speed optical modulation and detection by Peng, Cheng, Ph. D. Massachusetts Institute of Technology.

Get full text

Scalable end-to-end autonomous vehicle testing via rare-event simulation by O'Kelly, M, Duchi, J, Sinha, A, Namkoong, H, Tedrake, R

“…We implement a simulation framework that can test an entire modern autonomous driving system, including, in particular, systems that employ deep-learning perception and control algorithms. …”
Get full text