Making a Map-making Robot: Using the IKAROS System to Implement the Occupancy Grid Algorithm. Rasmus Bååth, Birger Johansson Lund University Cognitive Science Kungshuset, Lundagård, Lund

First Page		Document Content
Date: 2016-06-18 16:09:58 Robotics Robot navigation Robot control Occupancy grid mapping Mobile robot Motion planning E-puck mobile robot Robot Pepper Autonomous robot		Making a Map-making Robot: Using the IKAROS System to Implement the Occupancy Grid Algorithm. Rasmus Bååth, Birger Johansson Lund University Cognitive Science Kungshuset, Lundagård, Lund Add to Reading List Source URL: www.sumsar.net Download Document from Source Website File Size: 1,66 MB Share Document on Facebook

	Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W DocID: 1xVQw - View Document
	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When DocID: 1xVGQ - View Document
	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † DocID: 1xVic - View Document
	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin DocID: 1xVew - View Document
	Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig DocID: 1xV3q - View Document