Logical modelling and formal verification of decision and control functions for autonomous vehicles

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/241958
Download file(s):
File Description SizeFormat 
241958.pdfFulltext1.14 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Logical modelling and formal verification of decision and control functions for autonomous vehicles
Authors: Petersson, Pontus
Zita, Anton
Keywords: Elektroteknik och elektronik;Electrical Engineering, Electronic Engineering, Information Engineering
Issue Date: 2016
Publisher: Chalmers tekniska högskola / Institutionen för signaler och system
Chalmers University of Technology / Department of Signals and Systems
Series/Report no.: Ex - Institutionen för signaler och system, Chalmers tekniska högskola : EX022/2016
URI: https://hdl.handle.net/20.500.12380/241958
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.