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

Compositional and Contract-based Verification for Autonomous Driving on Road Networks by DeCastro, Jonathan, Alonso-Mora, Javier, Liebenwein, Lucas, Schwarting, Wilko, Vasile, Cristian-Ioan, Karaman, Sertac, Rus, Daniela L

“…Recent advances in autonomous driving have raised the problem of safety to the forefront and incentivized research into establishing safety guarantees. …”
Get full text
Get full text
Get full text
Get full text

Variational Autoencoder for End-to-End Control of Autonomous Driving with Novelty Detection and Training De-biasing by Amini, Alexander, Araki, Brandon, Rus, Daniela, Schwarting, Wilko, Rosman, Guy, Karaman, Sertac, Rus, Daniela L

“…This paper introduces a new method for end-to-end training of deep neural networks (DNNs) and evaluates it in the context of autonomous driving. DNN training has been shown to result in high accuracy for perception to action learning given sufficient training data. …”
Get full text
Get full text
Get full text
Get full text

Learning Robust Control Policies for End-to-End Autonomous Driving From Data-Driven Simulation by Amini, Alexander A, Gilitschenski, Igor, Phillips, Jacob, Moseyko, Julia, Banerjee, Rohan, Karaman, Sertac, Rus, Daniela L

Get full text

Computer Vision Analysis of Intraoperative Video: Automated Recognition of Operative Steps in Laparoscopic Sleeve Gastrectomy by Hashimoto, Daniel A, Rosman, Guy, Witkowski, Elan R, Stafford, Caitlin, Navarette-Welton, Allison J, Rattner, David W, Lillemoe, Keith D, Rus, Daniela L, Meireles, Ozanan R

“…Objective(s):To develop and assess AI algorithms to identify operative steps in laparoscopic sleeve gastrectomy (LSG).Background:Computer vision, a form of artificial intelligence (AI), allows for quantitative analysis of video by computers for identification of objects and patterns, such as in autonomous driving.Methods:Intraoperative video from LSG from an academic institution was annotated by 2 fellowship-Trained, board-certified bariatric surgeons. …”
Get full text

Intention-Aware Pedestrian Avoidance by Bandyopadhyay, Tirthankar, Jie, Chong Zhuang, Hsu, David, Ang, Marcelo H., Rus, Daniela L, Frazzoli, Emilio

“…A critical component of autonomous driving in urban environment is the vehicle’s ability to interact safely and intelligently with the human drivers and on-road pedestrians. …”
Get full text

Learning Steering Bounds for Parallel Autonomous Systems by Amini, Alexander A, Paull, Liam, Balch, Thomas M, Karaman, Sertac, Rus, Daniela L

“…Deep learning has been successfully applied to “end-to-end” learning of the autonomous driving task, where a deep neural network learns to predict steering control commands from camera data input. …”
Get full text
Get full text
Get full text
Get full text
Get full text