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

Visa enkel post
dc.contributor.authorPetersson, Pontus
dc.contributor.authorZita, Anton
dc.contributor.departmentChalmers tekniska högskola / Institutionen för signaler och systemsv
dc.contributor.departmentChalmers University of Technology / Department of Signals and Systemsen
dc.date.accessioned2019-07-03T14:20:17Z
dc.date.available2019-07-03T14:20:17Z
dc.date.issued2016
dc.identifier.urihttps://hdl.handle.net/20.500.12380/241958
dc.language.isoeng
dc.relation.ispartofseriesEx - Institutionen för signaler och system, Chalmers tekniska högskola : EX022/2016
dc.setspec.uppsokTechnology
dc.subjectElektroteknik och elektronik
dc.subjectElectrical Engineering, Electronic Engineering, Information Engineering
dc.titleLogical modelling and formal verification of decision and control functions for autonomous vehicles
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeSystems, control and mechatronics (MPSYS), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
241958.pdf
Storlek:
1.12 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen