ExCAPE Annual Report of Activities April 2014 to MarchOverview

First Page		Document Content
Date: 2016-01-31 09:37:33 Theoretical computer science Electronic engineering Digital electronics Music Electronic design automation Formal verification Logic in computer science High-level synthesis Robotics Domain-specific language Finite-state machine Model checking		ExCAPE Annual Report of Activities April 2014 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 322,60 KB Share Document on Facebook

	Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th DocID: 1xVUw - View Document
	IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Accurate Angular Velocity Estimation With an Event Camera DocID: 1xVMW - View Document
	International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav DocID: 1xVJl - View Document
	Deep Drone Racing: Learning Agile Flight in Dynamic Environments Elia Kaufmann1∗, Antonio Loquercio1∗, Ren´e Ranftl2 , Alexey Dosovitskiy2 , Vladlen Koltun2 , Davide Scaramuzza1 1 Robotics and Perception Group Depts DocID: 1xVCK - View Document
	IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Ultimate SLAM? Combining Events, Images, and IMU for Robust DocID: 1xUNg - View Document