BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking

First Page		Document Content
Date: 2000-01-25 09:02:49 Computing Integrated development environments Not Quite C RCX Lego For Inspiration and Recognition of Science and Technology Uppaal Model Checker HiC Scheduling Robotics Lego Mindstorms Robot kits		BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking Add to Reading List Source URL: www.brics.dk Download Document from Source Website File Size: 146,00 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