An Efficient Simulation-based Approach to Ambulance Fleet Allocation and Dynamic Redeployment
Authors: Yisong Yue, Lavanya Marla and Ramayya Krishnan
View Paper >>

Potentials for Sustainable Transportation in Cities to Alleviate Climate Change Impacts
Authors: Yeganeh Mashayekh, Paulina Jaramillo, Constantine Samaras, Chris T. Hendrickson, Michael Blackhurst, Heather L. MacLean, and H. Scott Matthews
View Paper >>

Costs of Automobile Air Emissions in U.S. Metropolitan Areas
Authors: Mashayekh, Yeganeh; Jaramillo, Paulina; Chester, Mikhail; Hendrickson, Chris T; Weber, Christopher L
View Paper >>

Vision-based 3D Bicycle Tracking using Deformable Part Model and Interacting Multiple Model Filter
Authors: Hyunggi Cho, Paul Rybski, and Wende Zhang
View Paper >>

Vision-based Bicycle Detection and Tracking using a Deformable Part Model and an EKF Algorithm
Authors: Hyunggi Cho, Paul Rybski, and Wende Zhang
View Paper >>

Vision-based Bicyclist Detection and Tracking for Intelligent Vehicles
Authors: Hyunggi Cho, Paul Rybski, and Wende Zhang
View Paper >>

Visual Classification of Coarse Vehicle Orientation using Histogram of Oriented Gradients Features
Authors: Paul Rybski, Daniel Huber, Daniel D. Morris, and Regis Hoffman
View Paper >>

Autonomous driving in urban environments: Boss and the Urban Challenge
Authors: Christopher Urmson, Joshua Anhalt, Hong Bae, J. Andrew (Drew) Bagnell, Christopher R. Baker , Robert E. Bittner, Thomas Brown, M. N. Clark, Michael Darms, Daniel Demitrish, John M. Dolan, David Duggins, David Ferguson, Tugrul Galatali, Christopher M. Geyer, Michele Gittleman, Sam Harbaugh, Martial Hebert, Thomas Howard, Sascha Kolski, Maxim Likhachev, Bakhtiar Litkouhi, Alonzo Kelly, Matthew McNaughton, Nick Miller, Jim Nickolaou, Kevin Peterson, Brian Pilnick, Raj Rajkumar, Paul Rybski, Varsha Sadekar, Bryan Salesky, Young-Woo Seo, Sanjiv Singh, Jarrod M. Snider, Joshua C. Struble, Anthony (Tony) Stentz, Michael Taylor , William (Red) L. Whittaker, Ziv Wolkowicki, Wende Zhang, and Jason Ziglar
View Paper >>

Obstacle Detection and Tracking for the Urban Challenge
Authors: Michael Darms, Paul Rybski, Christopher R. Baker , and Christopher Urmson
View Paper >>

Autonomous Driving in Traffic: Boss and the Urban Challenge
Authors: Christopher Urmson, Christopher R. Baker , John M. Dolan, Paul Rybski, Bryan Salesky, William (Red) L. Whittaker, David Ferguson, and Michael Darms
View Paper >>

A Multisensor Multiobject Tracking System for an Autonomous Vehicle Driving in an Urban Environment
Authors: Michael Darms, Paul Rybski, and Christopher Urmson
View Paper >>

Fast Feature Detection and Stochastic Parameter Estimation of Road Shape using Multiple LIDAR
Authors: Kevin Peterson, Jason Ziglar, and Paul Rybski
View Paper >>

Classification and tracking of dynamic objects with multiple sensors for autonomous driving in urban environments.
Authors: Michael Darms, Paul Rybski, and Christopher Urmson
View Paper >>

Adaptive cruise control: Hybrid, distributed, and now formally verified
Authors: Sarah M. Loos, André Platzer, and Ligia Nistor
View Paper >>

Safe intersections: At the crossing of hybrid systems and verification
Authors: Sarah M. Loos and André Platzer
View Paper >>

Quantified differential dynamic logic for distributed hybrid systems
Authors: André Platzer
View Paper >>

Differential dynamic logic for hybrid systems
Authors: André Platzer
View Paper >>

European Train Control System: A case study in formal verification
Authors: André Platzer and Jan-David Quesel
View Paper >>

Formal verification of curved flight collision avoidance maneuvers: A case study
Authors: André Platzer and Edmund M. Clarke
View Paper >>

Recommendations for Implementing Bus Rapid Transit in Pittsburgh’s Oakland-Uptown-Downtown Transit Corridor
Authors: Shenshen Cao, Yang Hu, Wenjuan Jiang, Paul Karam, Cristina Melo, Carlos Patino, Timothy Seidel, Yunyue Wu
View Paper >>

Field trial of Tiramisu: crowd-sourcing bus arrival times to spur co-design
Authors: John Zimmerman, Anthony Tomasic, Charles Garrod, Daisy Yoo, Chaya Hiruncharoenvate, Rafae Aziz, Nikhil Ravi Thiruvengadam, Yun Huang, Aaron Steinfeld
View Paper >>

Robust Indoor Localization on a Commercial Smart-Phone
Authors: Nisarg Kothari, Balajee Kannan, and M. Bernardine Dias
View Paper >>

Optimizing Bus Rapid Transit, Downtown to Oakland
Authors: Zachary Kurtz, Mingyu Tang, William F. Eddy, Devon Shurick
View Paper >>